fix

diff --git a/stopDevWebServer.sh b/stopDevWebServer.sh
index 25e7848c3dd85e4c97071195ffe24c7b98c3a951..67c527e2796172b62349ebc4535c221ec0d2b70f 100755 (executable)
--- a/stopDevWebServer.sh
+++ b/stopDevWebServer.sh
@@ -1,3 +1,4 @@
 #!/bin/bash
-sudo kill -9 $(./log/thttpd.pid)
+PID=$(ps -C thttpd | grep thttpd | awk '{printf "%s", $1}')
+sudo kill -9 $PID