Summary of changes: 00ab488... add RESTART_DELAY parameter to sleep between stop and start (*) a6b18f7... Merge branch 'feat/restart-delay-parameter' (*) This commit already existed in another branch; no separate mail sent