diff --git a/patch-control.sh b/patch-control.sh index dc4a0c222b10c92f4115a566668664d82742dcf2..cb5bd3a62eafa928e30599b7506bac646c44f46d 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() {