diff options
Diffstat (limited to 'install-dpi-local')
| -rwxr-xr-x | install-dpi-local | 10 |
1 files changed, 7 insertions, 3 deletions
diff --git a/install-dpi-local b/install-dpi-local index e843e6c1..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 @@ -23,8 +27,8 @@ if [ ! -d $BASE2 ] ; then mkdir $BASE2 fi -cp dpid/dpid dpid/dpidc $BASE -strip $BASE/dpid +cp dpid/dpid dpid/dpidc dpid/dpidrc $BASE +strip $BASE/dpid $BASE/dpidc cd dpi for F in *.dpi ; do |