systemd service file: add RestartSec=10s

HostManager can crash and restart really quickly, so this rate-limiting is necessary on some systems to prevent systemd from giving up on the service.
simonsobs · Aug 18, 2023 · cf39d9c · cf39d9c
1 parent c8d1fc5
commit cf39d9c
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/docs/user/centralized_management.rst b/docs/user/centralized_management.rst
@@ -476,6 +476,7 @@ should look something like this::
   ExecStart=/home/ocs/git/ocs-site-configs/my-lab/launcher-hm-server5.sh
   User=ocs
   Restart=always
+  RestartSec=10s
 
   [Install]
   WantedBy=multi-user.target

diff --git a/ocs/ocs_systemd.py b/ocs/ocs_systemd.py
@@ -28,6 +28,7 @@
 ExecStart={cmd}
 User={service_user}
 Restart=always
+RestartSec=10s
 {environment_lines}
 
 [Install]