From a103df7d1c0fd30a9c3acbd881625e725bf751c4 Mon Sep 17 00:00:00 2001
From: Carmelo Pellegrino <carmelo.pellegrino@gmail.com>
Date: Tue, 26 May 2015 16:14:01 +0200
Subject: [PATCH] logging the actual quit event
---
patch-control.sh | 2 ++
1 file changed, 2 insertions(+)
diff --git a/patch-control.sh b/patch-control.sh
index dc4a0c2..cb5bd3a 100755
--- 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() {
--
GitLab