more phabricator setup;
authorwenzelm
Tue Nov 05 22:44:51 2019 +0100 (9 days ago ago)
changeset 712552965304143d8
parent 71254 ee3c43eb79ae
child 71256 6ca9e8377613
more phabricator setup;
src/Pure/Tools/phabricator.scala
     1.1 --- a/src/Pure/Tools/phabricator.scala	Tue Nov 05 22:08:15 2019 +0100
     1.2 +++ b/src/Pure/Tools/phabricator.scala	Tue Nov 05 22:44:51 2019 +0100
     1.3 @@ -287,6 +287,8 @@
     1.4        a2enmod rewrite
     1.5        a2ensite """ + Bash.string(isabelle_phabricator_name())).check
     1.6  
     1.7 +    config.execute("config set phabricator.base-uri " + Bash.string(server_url))
     1.8 +
     1.9      Linux.service_restart("apache2")
    1.10  
    1.11