diff options
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 |