Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper service name (again): it is specific to each installation;
authorwenzelm
Tue, 05 Nov 2019 22:08:15 +0100
changeset 71056 ee3c43eb79ae
parent 71055 27a998cdc0f4
child 71057 2965304143d8
proper service name (again): it is specific to each installation;
src/Pure/Tools/phabricator.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/phabricator.scala	Tue Nov 05 22:06:16 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Tue Nov 05 22:08:15 2019 +0100
@@ -296,7 +296,7 @@
 
     config.execute("config set phd.user " + Bash.string(daemon_user))
 
-    Linux.service_install(isabelle_phabricator_name(),
+    Linux.service_install(isabelle_phabricator_name(name = name),
 """[Unit]
 Description=PHP daemon for Isabelle/Phabricator """ + quote(name) + """
 After=syslog.target network.target apache2.service mysql.service
isabelle