scripts: stamp git-version.txt before rsync, restart webadmin gunicorn

Two related deploy fixes:
- Capture the local 'git rev-parse --short HEAD' into git-version.txt
  before rsync so the deployed web UI can show the running commit
  in its footer (the .git directory itself is excluded from rsync).
- pkill the webadmin gunicorn alongside udpproxy. start_proxy.sh
  skips relaunching gunicorn if one's already up, so without this
  step the new code is rsynced but the old worker keeps serving.

Co-Authored-By: Claude Opus 4.7 (1M context) <noreply@anthropic.com>

Author: tridge

.gitignore

@@ -2,6 +2,7 @@
 *.o
 set_key
 udpproxy
+git-version.txt
 libraries/
 venv/
 __pycache__/

scripts/update_server.sh

@@ -34,6 +34,10 @@ fi
 SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
 REPO_ROOT="$( cd "$SCRIPT_DIR/.." && pwd )"
 
+# Stamp the local source tree with the current git short hash so the web
+# UI footer can show it on the server (.git/ is excluded from rsync).
+git -C "$REPO_ROOT" rev-parse --short HEAD > "$REPO_ROOT/git-version.txt"
+
 # What rsync should NOT transfer. Build artifacts (rebuilt on the server)
 # and data files (server-side state we must not overwrite).
 RSYNC_EXCLUDES=(
@@ -84,6 +88,11 @@ make all
 # pkill -f matches the full argv. We anchor on the bin path so we don't
 # accidentally kill anything named "udpproxy" run from elsewhere.
 pkill -f "$HOME/UDPProxy/udpproxy" 2>/dev/null || true
+# Also kill any running webadmin gunicorn so start_proxy.sh respawns it
+# against the freshly-rsynced source. Without this, an existing gunicorn
+# keeps serving the old code (start_proxy.sh skips relaunching when one
+# is already up).
+pkill -f 'webadmin\.wsgi:application' 2>/dev/null || true
 sleep 1
 ./start_proxy.sh
 sleep 1