logging the actual quit event

a103df7d · Carmelo Pellegrino · 2cbfd8b5 · a103df7d
Commit a103df7d authored 9 years ago by Carmelo Pellegrino
--- a/patch-control.sh
+++ b/patch-control.sh
@@ -50,6 +50,8 @@ function on_exit() {
    kill -9 ${pid}
  done
  unset pid
+
+  log "Quit"
 }

 function get_run_setup_file() {