11644: Add DeviceID() to Volume interface.

[arvados.git] / services / keep-web / keep-web.service

diff --git a/services/keep-web/keep-web.service b/services/keep-web/keep-web.service
index 24be7714d5881cf2897cb61b9ddbc751ed215392..3f6c41743e7a1f964efe5f33afeae75f31b7b8ec 100644 (file)
--- a/services/keep-web/keep-web.service
+++ b/services/keep-web/keep-web.service
@@ -3,11 +3,16 @@ Description=Arvados Keep web gateway
 Documentation=https://doc.arvados.org/
 After=network.target
 AssertPathExists=/etc/arvados/keep-web/keep-web.yml
+# systemd<230
+StartLimitInterval=0
+# systemd>=230
+StartLimitIntervalSec=0
 
 [Service]
 Type=notify
 ExecStart=/usr/bin/keep-web
 Restart=always
+RestartSec=1
 
 [Install]
 WantedBy=multi-user.target