author | wenzelm |
Tue, 05 Nov 2019 22:44:51 +0100 | |
changeset 71057 | 2965304143d8 |
parent 71056 | ee3c43eb79ae |
child 71058 | 6ca9e8377613 |
--- 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")