Skip to content

fix(launcher): stop project-wharf-launcher.sh writing pid/log to /tmp #99

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
hyperpolymath merged 5 commits into from
Oct 1, 2026
Merged

fix(launcher): stop project-wharf-launcher.sh writing pid/log to /tmp #99

Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
3a4a46f
fix(launcher): stop project-wharf-launcher.sh writing pid/log to /tmp
hyperpolymath Sep 30, 2026
f060297
Update project-wharf-launcher.sh
hyperpolymath Sep 30, 2026
b3df57e
docs(launcher): document log function output and argument
coderabbitai[bot] Sep 30, 2026
948b9ad
Merge branch 'main' into fix/launcher-xdg-state
hyperpolymath Oct 1, 2026
48bb28e
Merge branch 'main' into fix/launcher-xdg-state
hyperpolymath Oct 1, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
29 changes: 27 additions & 2 deletions project-wharf-launcher.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,10 +5,35 @@
set -euo pipefail

REPO_DIR="/var/mnt/eclipse/repos/project-wharf"
PID_FILE="/tmp/project-wharf.pid"
LOG_FILE="/tmp/project-wharf.log"
# Per-user XDG state, not /tmp: a world-writable /tmp path with a predictable
# name lets another local user pre-create the pid file and choose which
# process `stop` kills (CWE-377). Matches launch-scaffolder main's generator
# (standards/launcher-standard_praxis.deed :pid-file-pattern/:log-file-pattern).
case "${XDG_RUNTIME_DIR:-}" in
/*) _pid_root=$XDG_RUNTIME_DIR ;;
*)
case "${XDG_STATE_HOME:-}" in
/*) _pid_root=$XDG_STATE_HOME ;;
*) _pid_root=$HOME/.local/state ;;
esac
;;
esac
case "${XDG_STATE_HOME:-}" in
/*) _state_root=$XDG_STATE_HOME ;;
*) _state_root=$HOME/.local/state ;;
esac
PID_FILE="${_pid_root}/launch-scaffolder/project-wharf/server.pid"
LOG_FILE="${_state_root}/launch-scaffolder/project-wharf/server.log"
for _d in "$(dirname "$PID_FILE")" "$(dirname "$LOG_FILE")"; do
mkdir -p "$_d"
chmod 0700 "$_d"
done
unset _d
Comment thread
hyperpolymath marked this conversation as resolved.
MODE="${1:---auto}"

# Write a launcher message to standard output with the [ProjectWharf] prefix.
# Arguments:
# $1: Message to print.
log() {
echo "[ProjectWharf] $1"
}
Expand Down
Loading