# HG changeset patch
# User wenzelm
# Date 1572990291 -3600
# Node ID 2965304143d8f3e744dfd06d29cc927d4db4602b
# Parent  ee3c43eb79ae146c808e8f0ec496c178a3b162b2
more phabricator setup;

diff -r ee3c43eb79ae -r 2965304143d8 src/Pure/Tools/phabricator.scala
--- a/src/Pure/Tools/phabricator.scala	Tue Nov 05 22:08:15 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Tue Nov 05 22:44:51 2019 +0100
@@ -287,6 +287,8 @@
       a2enmod rewrite
       a2ensite """ + Bash.string(isabelle_phabricator_name())).check
 
+    config.execute("config set phabricator.base-uri " + Bash.string(server_url))
+
     Linux.service_restart("apache2")