# HG changeset patch
# User wenzelm
# Date 1572990950 -3600
# Node ID 6ca9e83776137e80f5f14ca745e66c43d5dbf1ba
# Parent  2965304143d8f3e744dfd06d29cc927d4db4602b
proper names for multiple installations;

diff -r 2965304143d8 -r 6ca9e8377613 src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Tue Nov 05 22:44:51 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Tue Nov 05 22:55:50 2019 +0100
@@ -265,10 +265,10 @@
 
     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_name = phabricator_name(name = 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")),
+    File.write(apache_sites + Path.basic(isabelle_phabricator_name(name = name, ext = "conf")),
 """<VirtualHost *:80>
     ServerName """ + server_name + """
     ServerAdmin webmaster@localhost
@@ -285,7 +285,7 @@
     Isabelle_System.bash( """
       set -e
       a2enmod rewrite
-      a2ensite """ + Bash.string(isabelle_phabricator_name())).check
+      a2ensite """ + Bash.string(isabelle_phabricator_name(name = name))).check
 
     config.execute("config set phabricator.base-uri " + Bash.string(server_url))