From cf39d9c7e302a24c1146b68d401a3f14d2c4832f Mon Sep 17 00:00:00 2001
From: Matthew Hasselfield <mhasself@users.noreply.github.com>
Date: Fri, 18 Aug 2023 15:55:40 -0400
Subject: [PATCH] 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.
---
 docs/user/centralized_management.rst | 1 +
 ocs/ocs_systemd.py                   | 1 +
 2 files changed, 2 insertions(+)

diff --git a/docs/user/centralized_management.rst b/docs/user/centralized_management.rst
index 97bf6a15..ad74fe66 100644
--- 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
index dbfc58c9..b22b50d3 100755
--- 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]