# HG changeset patch
# User wenzelm
# Date 1573660248 -3600
# Node ID 783d5786255db3f3fa943cd7244a38661ff26dce
# Parent  25c85cc3bc7191455482769a6852abfafc824eb8
more robust;

diff -r 25c85cc3bc71 -r 783d5786255d src/Pure/System/linux.scala
--- a/src/Pure/System/linux.scala	Wed Nov 13 13:28:58 2019 +0100
+++ b/src/Pure/System/linux.scala	Wed Nov 13 16:50:48 2019 +0100
@@ -128,6 +128,6 @@
     Isabelle_System.bash("chmod 0644 " + File.bash_path(service_file)).check
 
     service_enable(name)
-    service_start(name)
+    service_restart(name)
   }
 }