logging the end of the run

a4892674 · Carmelo Pellegrino · 7fe41142 · a4892674
Commit a4892674 authored 9 years ago by Carmelo Pellegrino
--- a/patch-control.sh
+++ b/patch-control.sh
@@ -170,6 +170,7 @@ zenity --question \
 let 'run_duration_seconds = ${run_duration} * 60'
 sleep ${run_duration_seconds}

+log "Run ${run_number} finished."
 zenity --info --text="Run ${run_number} finished!"

 exit 0