fix for reliably killing the softIoc when the iocsh gets killed

2016-04-13 15:50:55 +02:00
parent 62feab2c9a
commit 0f8c9a556b
1 changed files with 4 additions and 1 deletions
@@ -304,7 +304,10 @@ done
 }

 startup=/tmp/iocsh.startup.$$
-trap "stty sane; echo; rm -f $startup" EXIT TERM KILL
+
+# clean up and kill the softIoc when killed by any signal
+trap "kill -s SIGTERM 0; stty sane; echo; rm -f $startup; " EXIT
+
 {
 echo "# date=\"$(date)\""
 echo "# user=\"${USER:-$(whoami)}\""