src/Pure/Tools/phabricator.scala

     def system_path: Path = Path.basic(system_name)
     def root_dir: Path = Path.explode("/etc") + system_path
     def sites_dir: Path = root_dir + Path.explode("sites-available")
 
     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" +
         "opcache.validate_timestamps = 0\n" +

   echo "Bad branch: \"$BRANCH\""
   exit 1
 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
 do
   cd "$ROOT/$REPO"

 done
 echo -e "\nUpgrading storage ..."
 "$ROOT/phabricator/bin/storage" upgrade --force
 """,
       exit =
-        webserver.systemctl("start") + """
+"""systemctl start """ + webserver.system_name + """
 systemctl start isabelle-phabricator-phd""")
 
 
     /* webserver setup */