diff options
| -rwxr-xr-x | install-dpi-local | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/install-dpi-local b/install-dpi-local index d83287f8..eb06dd15 100755 --- a/install-dpi-local +++ b/install-dpi-local @@ -18,7 +18,7 @@ fi # Try to communicate with any currently-running dpid to tell it # to stop itself and the dpi programs. -dpidc stop +pgrep dpid > /dev/null && dpidc stop if [ ! -d $BASE ] ; then mkdir $BASE |