# HG changeset patch
# User wenzelm
# Date 1573736622 -3600
# Node ID 0ad53b5f2bb167cd13eb9e3aa63f246c3928efbc
# Parent  18f87bdbc812d2402deee3c8b67cb5e07b2359c9
more robust;

diff -r 18f87bdbc812 -r 0ad53b5f2bb1 src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Thu Nov 14 13:55:13 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Thu Nov 14 14:03:42 2019 +0100
@@ -366,6 +366,8 @@
     val phd_name = isabelle_phabricator_name(name = "phd")
     val phd_command = Path.explode("/usr/local/bin") + Path.basic(phd_name)
 
+    Linux.service_shutdown(phd_name)
+
     File.write(phd_command,
       global_config_script(header = true, body = """"$ROOT/phabricator/bin/phd" "$@" """))
     Isabelle_System.chmod("755", phd_command)