feat: move distribution builds to platform Docker builder

scripts/local-debug/stop.sh

@@ -8,12 +8,18 @@ source "$ROOT_DIR/scripts/local-debug/env.sh"
 if [[ ! -d "$LOCAL_DEBUG_PID_DIR" ]]; then
   printf 'no local debug pid directory at %s\n' "$LOCAL_DEBUG_PID_DIR"
 else
-  for name in platform_web run platform; do
-    pid_file="$LOCAL_DEBUG_PID_DIR/$name.pid"
+  pid_files=("$LOCAL_DEBUG_PID_DIR/platform_web.pid" "$LOCAL_DEBUG_PID_DIR/run.pid" "$LOCAL_DEBUG_PID_DIR/platform.pid")
+  for generated_pid_file in "$LOCAL_DEBUG_PID_DIR"/generated-*-run.pid; do
+    if [[ -f "$generated_pid_file" ]]; then
+      pid_files+=("$generated_pid_file")
+    fi
+  done
+  for pid_file in "${pid_files[@]}"; do
     if [[ ! -f "$pid_file" ]]; then
       continue
     fi
-    pid="$(cat "$pid_file")"
+    name="$(basename "$pid_file" .pid)"
+    pid="$(<"$pid_file")"
     if kill -0 "$pid" 2>/dev/null; then
       printf 'stopping %s pid %s\n' "$name" "$pid"
       kill "$pid" 2>/dev/null || true