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 |
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.896 |
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 | 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 | | | 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 |
︙ | ︙ |