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 da562121bba6b2a2d158256fef9c82358b59b6c1..3f6c41743e7a1f964efe5f33afeae75f31b7b8ec 100644 (file)
--- a/services/keep-web/keep-web.service
+++ b/services/keep-web/keep-web.service
@@ -2,11 +2,17 @@
 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