diff --git a/shellbox.tcl b/shellbox.tcl index 73b0352..3ac253e 100755 --- a/shellbox.tcl +++ b/shellbox.tcl @@ -32,8 +32,8 @@ set timeout -1 regsub -all {\$} {shellbox by Dirk Zimoch $Source: /cvs/G/EPICS/App/scripts/shellbox.tcl,v $ -$Revision: 1.11 $ -$Date: 2015/04/02 09:42:20 $} {} version +$Revision: 1.12 $ +$Date: 2015/08/28 14:18:51 $} {} version proc usage {} { puts "usage: shellbox \[options\] port command args" @@ -204,6 +204,7 @@ if {![regexp {^[0-9]+$} $port] || [llength $command] == 0} { } fconfigure stdout -buffering none +trap {killProgram; exit} {SIGTERM} startProgram createServer $port vwait forever