proper names for multiple installations;
authorwenzelm
Tue Nov 05 22:55:50 2019 +0100 (9 days ago ago)
changeset 712566ca9e8377613
parent 71255 2965304143d8
child 71257 9b531e611d66
proper names for multiple installations;
src/Pure/Tools/phabricator.scala
     1.1 --- a/src/Pure/Tools/phabricator.scala	Tue Nov 05 22:44:51 2019 +0100
     1.2 +++ b/src/Pure/Tools/phabricator.scala	Tue Nov 05 22:55:50 2019 +0100
     1.3 @@ -265,10 +265,10 @@
     1.4  
     1.5      if (!apache_sites.is_dir) error("Bad Apache sites directory " + apache_sites)
     1.6  
     1.7 -    val server_name = phabricator_name(ext = "lvh.me")  // alias for "localhost" for testing
     1.8 +    val server_name = phabricator_name(name = name, ext = "lvh.me")  // alias for "localhost" for testing
     1.9      val server_url = "http://" + server_name
    1.10  
    1.11 -    File.write(apache_sites + Path.basic(isabelle_phabricator_name(ext = "conf")),
    1.12 +    File.write(apache_sites + Path.basic(isabelle_phabricator_name(name = name, ext = "conf")),
    1.13  """<VirtualHost *:80>
    1.14      ServerName """ + server_name + """
    1.15      ServerAdmin webmaster@localhost
    1.16 @@ -285,7 +285,7 @@
    1.17      Isabelle_System.bash( """
    1.18        set -e
    1.19        a2enmod rewrite
    1.20 -      a2ensite """ + Bash.string(isabelle_phabricator_name())).check
    1.21 +      a2ensite """ + Bash.string(isabelle_phabricator_name(name = name))).check
    1.22  
    1.23      config.execute("config set phabricator.base-uri " + Bash.string(server_url))
    1.24