Fix Bash scripts and remove unused ones

2026-08-19 04:07:39 +00:00 · 2020-09-11 14:22:20 +02:00
parent 45dbe7689e
commit f1940ca614
23 changed files with 20 additions and 235 deletions
@@ -24,5 +24,5 @@ echo -e "\n\nRunning HTTP client test-http.py:"
 wget -q http://localhost:8005/ -O OUTPUT2
 echo >> OUTPUT2  # include newline since wget doesn't add it
 diff -q OUTPUT1 OUTPUT2 && echo "[ Success 3/3 ]"
-kill `cat server.PID`
+kill "$(cat server.PID)"
 rm -f OUTPUT1 OUTPUT2 server.PID