# HG changeset patch
# User wenzelm
# Date 1576097364 -3600
# Node ID 6b8cbdc9713b1406278b9cea7f59449d2cfa1423
# Parent  1e73199574087e5ff5776b3925853b37142327a9
more robust;

diff -r 1e7319957408 -r 6b8cbdc9713b 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")