more robust;
authorwenzelm
Wed, 11 Dec 2019 21:49:24 +0100
changeset 71482 6b8cbdc9713b
parent 71481 1e7319957408
child 71483 5212ca49598a
more robust;
src/Pure/Tools/phabricator.scala
--- 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")