diff -r fa581264522e -r eeacad2a7aaa src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Tue Jan 23 12:18:06 2024 +0100
+++ b/src/Pure/Tools/phabricator.scala	Tue Jan 23 12:28:02 2024 +0100
@@ -35,8 +35,6 @@
 
     def restart(): Unit = Linux.service_restart(system_name)
 
-    def systemctl(cmd: String): String = "systemctl " + cmd + " " + system_name
-
     def php_init(): Unit =
       File.write(Linux.php_conf_dir(php_name) + Path.basic(isabelle_phabricator_name(ext = "ini")),
         "post_max_size = 32M\n" +
@@ -531,7 +529,7 @@
 fi
 
 systemctl stop isabelle-phabricator-phd
-""" + webserver.systemctl("stop"),
+systemctl stop """ + webserver.system_name,
       body =
 """echo -e "\nUpgrading phabricator \"$NAME\" root \"$ROOT\" ..."
 for REPO in arcanist phabricator
@@ -545,7 +543,7 @@
 "$ROOT/phabricator/bin/storage" upgrade --force
 """,
       exit =
-        webserver.systemctl("start") + """
+"""systemctl start """ + webserver.system_name + """
 systemctl start isabelle-phabricator-phd""")