bugfix

12 jobs for 119-restart-requires-fix in 7 minutes and 40 seconds (queued for 2 seconds)