Skip to content
Browse files

Updated unix_instruments script to handle failure better

  • Loading branch information...
1 parent a087055 commit d4c4d33d475540da7a8580049ed4b3ed4bf19991 Jonathan Penn committed
Showing with 1 addition and 1 deletion.
  1. +1 −1 unix_instruments
View
2 unix_instruments
@@ -71,7 +71,7 @@ get_error_status() {
ruby -e 'exit 1 if STDIN.read =~ /Instruments Usage Error|Instruments Trace Error|^\d+-\d+-\d+ \d+:\d+:\d+ [-+]\d+ (Fail:|Error:|None: Script threw an uncaught JavaScript error)/'
}
-trap cleanup_instruments EXIT
+trap cleanup_instruments EXIT INT TERM
function cleanup_instruments() {
# Because we fork instruments in this script, we need to clean up if it's
# still running because of an error or the user pressed Ctrl-C

0 comments on commit d4c4d33

Please sign in to comment.
Something went wrong with that request. Please try again.