Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more robust;
authorwenzelm
Wed, 11 Dec 2019 21:49:24 +0100
changeset 71273 6b8cbdc9713b
parent 71272 1e7319957408
child 71274 5212ca49598a
more robust;
src/Pure/Tools/phabricator.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/Tools/phabricator.scala	Wed Dec 11 19:14:49 2019 +0100
+++ b/src/Pure/Tools/phabricator.scala	Wed Dec 11 21:49:24 2019 +0100
@@ -396,6 +396,12 @@
 
     progress.echo("\nPHP daemon setup ...")
 
+    val phd_log_path = Path.explode("/var/tmp/phd")
+    Isabelle_System.mkdirs(phd_log_path)
+    Isabelle_System.chown(
+      "-R " + Bash.string(daemon_user) + ":" + Bash.string(daemon_user), phd_log_path)
+    Isabelle_System.chmod("755", phd_log_path)
+
     config.execute("config set phd.user " + Bash.string(daemon_user))
     config.execute("config set phd.log-directory /var/tmp/phd/" +
       isabelle_phabricator_name(name = name) + "/log")
isabelle