From ed9b6c3d3939f9d1f2125176294a415905ff7c7f Mon Sep 17 00:00:00 2001
From: corvid <corvid@lavabit.com>
Date: Mon, 25 Jan 2010 03:39:21 +0000
Subject: install-dpi-local try a 'dpidc stop' to stop running dpid.

---
 install-dpi-local | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'install-dpi-local')

diff --git a/install-dpi-local b/install-dpi-local
index eb40ad66..d83287f8 100755
--- a/install-dpi-local
+++ b/install-dpi-local
@@ -12,10 +12,14 @@ if [ -r $BASE/dpi_socket_dir ] ; then
 fi
 
 if [ ! -x dpid/dpid ] ; then
-   echo "You MUST run this script after make."
+   echo "This script may only be run AFTER make."
    exit 1
 fi
 
+# Try to communicate with any currently-running dpid to tell it
+# to stop itself and the dpi programs.
+dpidc stop
+
 if [ ! -d $BASE ] ; then
   mkdir $BASE
 fi
-- 
cgit v1.2.3