changeset 72375 | e48d93811ed7 |
parent 71845 | b8d7b623e274 |
child 72376 | 04bce3478688 |
--- a/src/Pure/Tools/phabricator.scala Sat Oct 03 23:01:40 2020 +0100 +++ b/src/Pure/Tools/phabricator.scala Mon Oct 05 21:15:58 2020 +0200 @@ -483,7 +483,7 @@ progress.echo("\nPHP daemon setup ...") val phd_log_path = Path.explode("/var/tmp/phd") - Isabelle_System.mkdirs(phd_log_path) + Isabelle_System.make_directory(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)