src/Pure/Tools/phabricator.scala

     config.execute("config set storage.mysql-engine.max-size 8388608")
 
     config.execute("storage upgrade --force")
 
 
+    /* SSH hosting */
+
+    progress.echo("SSH hosting setup...")
+
+    val ssh_port = ssh_alternative2
+
+    config.execute("config set diffusion.ssh-user " + Bash.string(name))
+    config.execute("config set diffusion.ssh-port " + ssh_port)
+
+    val sudoers_file = Path.explode("/etc/sudoers.d") + Path.basic(isabelle_phabricator_name())
+    File.write(sudoers_file,
+      www_user + " ALL=(" + daemon_user + ") SETENV: NOPASSWD: /usr/bin/git, /usr/bin/hg, /usr/bin/ssh, /usr/bin/id\n" +
+      name + " ALL=(" + daemon_user + ") SETENV: NOPASSWD: /usr/bin/git, /usr/bin/git-upload-pack, /usr/bin/git-receive-pack, /usr/bin/hg, /usr/bin/svnserve, /usr/bin/ssh, /usr/bin/id\n")
+
+    Isabelle_System.bash("chmod 0440 " + File.bash_path(sudoers_file)).check
+
+
+    /* PHP setup */
+
+    val php_version =
+      Isabelle_System.bash("""php --run 'echo PHP_MAJOR_VERSION . "." . PHP_MINOR_VERSION;'""")
+        .check.out
+
+    val php_conf =
+      Path.explode("/etc/php") + Path.basic(php_version) +  // educated guess
+        Path.explode("apache2/conf.d") +
+        Path.basic(isabelle_phabricator_name(ext = "ini"))
+
+    File.write(php_conf,
+      "post_max_size = 32M\n" +
+      "opcache.validate_timestamps = 0\n" +
+      "memory_limit = 512M\n")
+
+
+    /* Apache setup */
+
+    progress.echo("Apache setup...")
+
+    val apache_root = Path.explode(options.string("phabricator_apache_root"))
+    val apache_sites = apache_root + Path.explode("sites-available")
+
+    if (!apache_sites.is_dir) error("Bad Apache sites directory " + apache_sites)
+
+    val server_name = phabricator_name(ext = "lvh.me")  // alias for "localhost" for testing
+    val server_url = "http://" + server_name
+
+    File.write(apache_sites + Path.basic(isabelle_phabricator_name(ext = "conf")),
+"""<VirtualHost *:80>
+    ServerName """ + server_name + """
+    ServerAdmin webmaster@localhost
+    DocumentRoot """ + config.home.implode + """/webroot
+
+    ErrorLog ${APACHE_LOG_DIR}/error.log
+    RewriteEngine on
+    RewriteRule ^(.*)$  /index.php?__path__=$1  [B,L,QSA]
+</VirtualHost>
+
+# vim: syntax=apache ts=4 sw=4 sts=4 sr noet
+""")
+
+    Isabelle_System.bash( """
+      set -e
+      a2enmod rewrite
+      a2ensite """ + Bash.string(isabelle_phabricator_name())).check
+
+    Linux.service_restart("apache2")
+
+
     /* PHP daemon */
 
     progress.echo("PHP daemon setup...")
 
     config.execute("config set phd.user " + Bash.string(daemon_user))

 [Install]
 WantedBy=multi-user.target
 """)
 
 
-    /* SSH hosting */
-
-    progress.echo("SSH hosting setup...")
-
-    val ssh_port = ssh_alternative2
-
-    config.execute("config set diffusion.ssh-user " + Bash.string(name))
-    config.execute("config set diffusion.ssh-port " + ssh_port)
-
-    val sudoers_file = Path.explode("/etc/sudoers.d") + Path.basic(isabelle_phabricator_name())
-    File.write(sudoers_file,
-      www_user + " ALL=(" + daemon_user + ") SETENV: NOPASSWD: /usr/bin/git, /usr/bin/hg, /usr/bin/ssh, /usr/bin/id\n" +
-      name + " ALL=(" + daemon_user + ") SETENV: NOPASSWD: /usr/bin/git, /usr/bin/git-upload-pack, /usr/bin/git-receive-pack, /usr/bin/hg, /usr/bin/svnserve, /usr/bin/ssh, /usr/bin/id\n")
-
-    Isabelle_System.bash("chmod 0440 " + File.bash_path(sudoers_file)).check
-
-
-    /* PHP setup */
-
-    val php_version =
-      Isabelle_System.bash("""php --run 'echo PHP_MAJOR_VERSION . "." . PHP_MINOR_VERSION;'""")
-        .check.out
-
-    val php_conf =
-      Path.explode("/etc/php") + Path.basic(php_version) +  // educated guess
-        Path.explode("apache2/conf.d") +
-        Path.basic(isabelle_phabricator_name(ext = "ini"))
-
-    File.write(php_conf,
-      "post_max_size = 32M\n" +
-      "opcache.validate_timestamps = 0\n" +
-      "memory_limit = 512M\n")
-
-
-    /* Apache setup */
-
-    progress.echo("Apache setup...")
-
-    val apache_root = Path.explode(options.string("phabricator_apache_root"))
-    val apache_sites = apache_root + Path.explode("sites-available")
-
-    if (!apache_sites.is_dir) error("Bad Apache sites directory " + apache_sites)
-
-    val server_name = phabricator_name(ext = "lvh.me")  // alias for "localhost" for testing
-    val server_url = "http://" + server_name
-
-    File.write(apache_sites + Path.basic(isabelle_phabricator_name(ext = "conf")),
-"""<VirtualHost *:80>
-    ServerName """ + server_name + """
-    ServerAdmin webmaster@localhost
-    DocumentRoot """ + config.home.implode + """/webroot
-
-    ErrorLog ${APACHE_LOG_DIR}/error.log
-    RewriteEngine on
-    RewriteRule ^(.*)$  /index.php?__path__=$1  [B,L,QSA]
-</VirtualHost>
-
-# vim: syntax=apache ts=4 sw=4 sts=4 sr noet
-""")
-
-    Isabelle_System.bash( """
-      set -e
-      a2enmod rewrite
-      a2ensite """ + Bash.string(isabelle_phabricator_name())).check
-
-    Linux.service_restart("apache2")
-
     progress.echo("\nDONE\nWeb configuration via " + server_url)
   }
 
 
   /* Isabelle tool wrapper */