This commit is contained in:
2025-08-15 12:59:28 +02:00
parent 2a3f8f7294
commit 6a3de0df23
13 changed files with 367 additions and 38 deletions

View File

@@ -0,0 +1,18 @@
#!/bin/bash
PID_FILE="/tmp/gpu-screen-recorder.pid"
if [ -f "$PID_FILE" ]; then
PID=$(cat "$PID_FILE")
if ps -p "$PID" > /dev/null; then
echo '{"text": "Replay", "tooltip": "Replay running", "class": "recording"}'
else
# The process is not running, but the PID file exists.
# This can happen if the process crashed.
# We'll remove the stale PID file.
rm "$PID_FILE"
echo '{"text": "Replay", "tooltip": "Replay paused"}'
fi
else
echo '{"text": "Replay", "tooltip": "Replay paused"}'
fi