diff options
| author | Johannes Hofmann <Johannes.Hofmann@gmx.de> | 2010-08-20 23:24:19 +0200 |
|---|---|---|
| committer | Johannes Hofmann <Johannes.Hofmann@gmx.de> | 2010-08-20 23:24:19 +0200 |
| commit | f5c598b518d1f906148534d015f50075d3e8242d (patch) | |
| tree | 21dd70add5b366c3dd80641b77f6b18e0baa009e /install-dpi-local | |
| parent | e98d02a01ffeb18ede86af025e51ae1ec011c75a (diff) | |
| parent | 5f0fc0e48b8cbee7e1795935da0abff6627fd498 (diff) | |
merge
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 |