--- a/src/Pure/Tools/phabricator.scala Mon Oct 05 21:15:58 2020 +0200
+++ b/src/Pure/Tools/phabricator.scala Mon Oct 05 22:07:25 2020 +0200
@@ -482,8 +482,7 @@
progress.echo("\nPHP daemon setup ...")
- val phd_log_path = Path.explode("/var/tmp/phd")
- Isabelle_System.make_directory(phd_log_path)
+ val phd_log_path = Isabelle_System.make_directory(Path.explode("/var/tmp/phd"))
Isabelle_System.chown(
"-R " + Bash.string(daemon_user) + ":" + Bash.string(daemon_user), phd_log_path)
Isabelle_System.chmod("755", phd_log_path)