Merge branch 'for-jens19'

.gitignore

@@ -0,0 +1 @@
+.pid

DEVNOTES

@@ -10,13 +10,21 @@ Attach to a running instance:
 2. Attach another server on a different port, when code-testing:
 
 	$ </proc/30837/environ xargs -0 mksh -c 'exec env "$@" ./run-produce.sh 8083' --
+	 # or (new)
+	$ ./devattach.sh ./run-produce.sh 8083
 
 3. Attach a PostgreSQL client:
 
 	$ </proc/30837/environ xargs -0o mksh -c 'exec env "$@" psql' --
+	 # or (new)
+	$ ./devattach.sh
 
 4. If needed, enable statement logging:
 
 	postgres=# ALTER SYSTEM SET log_statement TO 'all';
 	postgres=# SELECT pg_reload_conf();
 	$ tail -F /tmp/pg_virtualenv.*/log/postgresql-*-regress.log
+
+5. Enter the session
+
+	postgres=# SELECT jensjs.use_session(1);

devattach.sh

@@ -0,0 +1,23 @@
+#!/bin/mksh
+
+set -e
+
+if (( $# == 0 )); then
+	# as default command
+	set -- psql
+	# as hint
+	print -ru2 '# SELECT jensjs.use_session(1);'
+fi
+
+devattach_sh_mydir=$(realpath "$0/..")
+if [[ ! -s $devattach_sh_mydir/.pid ]]; then
+	print -ru2 E: cannot find pidfile
+	exit 1
+fi
+devattach_sh_pid=$(<"$devattach_sh_mydir/.pid")
+
+devattach_sh_cmd='exec env "$@"'
+for devattach_sh_x in "$@"; do
+	devattach_sh_cmd+=\ ${devattach_sh_x@Q}
+done
+exec </proc/"$devattach_sh_pid"/environ xargs -0o mksh -c "$devattach_sh_cmd" --

mrun.sh

@@ -131,6 +131,7 @@ set -A jdpids
 function cleanup {
 	print -ru2 -- I: mrun.sh: cleaning up
 	trap - EXIT
+	rm -f .pid
 	[[ -z $pypid ]] || xsendsig "$pypid" -INT
 	[[ -z $shpid ]] || for p in "${shpid[@]}"; do
 		xsendsig "$p" -INT
@@ -143,6 +144,8 @@ function cleanup {
 trap 'cleanup 0' INT
 trap 'cleanup 1' EXIT TERM
 
+echo $$ >.pid
+
 # run python subprocess produce
 {
 	trap - EXIT

run.sh

@@ -84,13 +84,16 @@ shpid=
 function cleanup {
 	print -ru2 -- I: run.sh: cleaning up
 	trap - EXIT
+	rm -f .pid
 	[[ -z $pypid ]] || xsendsig "$pypid" -INT
 	[[ -z $shpid ]] || xsendsig "$shpid" -INT
 	exit "$1"
 }
 trap 'cleanup 0' INT
 trap 'cleanup 1' EXIT TERM
 
+echo $$ >.pid
+
 # run python subprocess produce
 {
 	trap - EXIT