Gracefully shutdown manager using SIGTERM.

ryzhyk · ryzhyk · commit 2837d8fc7f33 · 2023-05-13T13:15:15.000-07:00
Use SIGTERM instead of SIGKILL to shutdown the manager in
`start_manager.sh` to give it a chance to cleanup pg-embed and the pid
file.

Also add `--dev-mode` switch to the manager command line.  This script
is only used for local dev, so it's not a security issue.  The flag can
be removed once the UI has been fully integrated into the manager.
diff --git a/scripts/start_manager.sh b/scripts/start_manager.sh
@@ -26,7 +26,10 @@ DEFAULT_BIND_ADDRESS="127.0.0.1"
 BIND_ADDRESS="${2:-$DEFAULT_BIND_ADDRESS}"
 
 # Kill manager. pkill doesn't handle process names >15 characters.
-pkill -9 dbsp_pipeline_
+pkill dbsp_pipeline_
+
+# Wait for manager process to exit.
+while ps -p $(pgrep dbsp_pipeline_) > /dev/null; do sleep 1; done
 
 set -e
 
@@ -38,4 +41,5 @@ cd "${MANAGER_DIR}" && ~/.cargo/bin/cargo run --release --features pg-embed -- \
     --dbsp-override-path="${ROOT_DIR}" \
     --static-html=static \
     --unix-daemon \
+    --dev-mode \
     --db-connection-string="postgres-embed"
