proper service name (again): it is specific to each installation;
authorwenzelm
Tue Nov 05 22:08:15 2019 +0100 (9 days ago ago)
changeset 71254ee3c43eb79ae
parent 71253 27a998cdc0f4
child 71255 2965304143d8
proper service name (again): it is specific to each installation;
src/Pure/Tools/phabricator.scala
     1.1 --- a/src/Pure/Tools/phabricator.scala	Tue Nov 05 22:06:16 2019 +0100
     1.2 +++ b/src/Pure/Tools/phabricator.scala	Tue Nov 05 22:08:15 2019 +0100
     1.3 @@ -296,7 +296,7 @@
     1.4  
     1.5      config.execute("config set phd.user " + Bash.string(daemon_user))
     1.6  
     1.7 -    Linux.service_install(isabelle_phabricator_name(),
     1.8 +    Linux.service_install(isabelle_phabricator_name(name = name),
     1.9  """[Unit]
    1.10  Description=PHP daemon for Isabelle/Phabricator """ + quote(name) + """
    1.11  After=syslog.target network.target apache2.service mysql.service