diff options
| author | corvid <corvid@lavabit.com> | 2010-01-25 03:39:21 +0000 |
|---|---|---|
| committer | corvid <corvid@lavabit.com> | 2010-01-25 03:39:21 +0000 |
| commit | ed9b6c3d3939f9d1f2125176294a415905ff7c7f (patch) | |
| tree | 646177f1dc62ad5dc69d57acde9635bdc18a0910 /install-dpi-local | |
| parent | b1903c91f3aab118f36b46ecc49822dd89131533 (diff) | |
install-dpi-local try a 'dpidc stop' to stop running dpid.
Diffstat (limited to 'install-dpi-local')
| -rwxr-xr-x | install-dpi-local | 6 |
1 files changed, 5 insertions, 1 deletions
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 |