diff options
| author | Nomarian <nomarian@outlook.com> | 2025-05-12 12:49:46 -0400 |
|---|---|---|
| committer | Rodrigo Arias Mallo <rodarima@gmail.com> | 2025-06-30 21:52:54 +0200 |
| commit | 145c8cb19e9dd60763fe7b00195d99fd965148d5 (patch) | |
| tree | bb7fb97b6657c128edac4f35f7c48af59b198b59 /install-dpi-local | |
| parent | f6abc117030f372261cef98e191113a2078c8c1b (diff) | |
Run dpidc stop only if dpid is running
Diffstat (limited to 'install-dpi-local')
| -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 |