# 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