Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
Overview
| Comment: | Tweaked a potentially confusing message output from "pidp8i stop". |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | screen-mgr-none-dtach |
| Files: | files | file ages | folders |
| SHA3-256: |
d044732095f61bfee6a01a26cbcfb37a |
| User & Date: | tangent 2020-01-26 21:33:24 |
Context
|
2020-04-19
| ||
| 23:23 | Cherry-picked the elements of branch screen-mgr-none-dtach that don't involve dtach, the only part of that branch that doesn't currently work. The main user-visible feature of this is the "none" option. check-in: 9d08417d8e user: tangent tags: trunk | |
|
2020-01-26
| ||
| 21:34 | URL fix check-in: 07a0439868 user: tangent tags: screen-mgr-none-dtach | |
| 21:33 | Tweaked a potentially confusing message output from "pidp8i stop". check-in: d044732095 user: tangent tags: screen-mgr-none-dtach | |
| 21:32 | Added the SCREEN_MANAGER=dtach option check-in: dd5ad30192 user: tangent tags: screen-mgr-none-dtach | |
Changes
Changes to bin/pidp8i.in.
210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 |
echo -n "Stopping $sim simulator..."
for sig in TERM KILL ; do pkill -$sig $sim ; sleep 1 ; done
# The screen manager might still be running despite its
# only child dying. Nuke it hard if so.
if ! is_running || [ "$SCREEN_MANAGER" = "none" ]
then
echo "The PiDP-8/I simulator is not running."
elif [ "$SCREEN_MANAGER" = "tmux" ]
then
tmux kill-session -t pidp8i
elif [ "$SCREEN_MANAGER" = "dtach" ]
then
kill $(sim_child_pid)
else
|
| |
210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 |
echo -n "Stopping $sim simulator..."
for sig in TERM KILL ; do pkill -$sig $sim ; sleep 1 ; done
# The screen manager might still be running despite its
# only child dying. Nuke it hard if so.
if ! is_running || [ "$SCREEN_MANAGER" = "none" ]
then
echo "The PiDP-8/I simulator is stopped."
elif [ "$SCREEN_MANAGER" = "tmux" ]
then
tmux kill-session -t pidp8i
elif [ "$SCREEN_MANAGER" = "dtach" ]
then
kill $(sim_child_pid)
else
|