From 7e396a61af2862d1a797b9946a5dffd41d07c928 Mon Sep 17 00:00:00 2001 From: Lars Brinkhoff Date: Fri, 22 May 2020 14:59:37 +0200 Subject: [PATCH] Update start scripts for PDP-10 emulators other than SIMH KA10. --- build/klh10/start | 35 +++++++++++++++++++++++++++++++++++ build/pdp10-kl/start | 13 +++++++++++++ build/simh/start | 43 +++++++++++++++++++++++++++++++++---------- 3 files changed, 81 insertions(+), 10 deletions(-) diff --git a/build/klh10/start b/build/klh10/start index 2e6157c3..e1b4f38d 100755 --- a/build/klh10/start +++ b/build/klh10/start @@ -4,5 +4,40 @@ SUDO=sudo #NET_DEFAULT_IF=eth1 +EXIT=: +trap "" QUIT INT TERM + +started() { + EXIT="$EXIT;stop $1 $2" + trap "$EXIT" EXIT + echo "$1 started, pid $2" +} + +stop() { + echo -n "Stopping $1... " + kill "$2" 2> /dev/null + sleep 2 + kill -9 "$2" 2> /dev/null + echo "OK" +} + +help() { + cat <gt40.log 2>&1) & - GT40="$!" - echo "GT40 started, pid $GT40" +EXIT=: +trap "" QUIT INT TERM + +started() { + EXIT="$EXIT;stop $1 $2" + trap "$EXIT" EXIT + echo "$1 started, pid $2" } -kill_gt40() { - kill "$GT40" - sleep 1 - kill -9 "$GT40" - echo "GT40 stopped" +stop() { + echo -n "Stopping $1... " + kill "$2" 2> /dev/null + sleep 2 + kill -9 "$2" 2> /dev/null + echo "OK" } +gt40() { + (sleep 3; tools/simh/BIN/pdp11 build/simh/gt40 >gt40.log 2>&1) & + started GT40 "$!" +} + +help() { + cat <