# HG changeset patch
# User wenzelm
# Date 1573670444 -3600
# Node ID eed5b61883712870615a3601864ff57d9441e90b
# Parent  cd166c3904dd98170053ac7e75ab586b107be42b
more support for multiple daemons;

diff -r cd166c3904dd -r eed5b6188371 src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Wed Nov 13 18:30:43 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Wed Nov 13 19:40:44 2019 +0100
@@ -341,6 +341,8 @@
     progress.echo("PHP daemon setup ...")
 
     config.execute("config set phd.user " + Bash.string(daemon_user))
+    config.execute("config set phd.log-directory /var/tmp/phd/" +
+      isabelle_phabricator_name(name = name) + "/log")
 
     Linux.service_install(isabelle_phabricator_name(name = name),
 """[Unit]
@@ -352,7 +354,7 @@
 User=""" + daemon_user + """
 Group=""" + daemon_user + """
 Environment=PATH=/sbin:/usr/sbin:/usr/local/sbin:/usr/local/bin:/usr/bin:/bin
-ExecStart=""" + config.home.implode + """/bin/phd start
+ExecStart=""" + config.home.implode + """/bin/phd start --force
 ExecStop=""" + config.home.implode + """/bin/phd stop
 RemainAfterExit=yes