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 <