# HG changeset patch
# User wenzelm
# Date 1706650990 -3600
# Node ID e15fbb37a4058012c8b036620599b631bbd85850
# Parent  2ff1c4b92e2423bce1a58d30771c01ab3ed64ed3
proper accessible paths for web server;

diff -r 2ff1c4b92e24 -r e15fbb37a405 src/Pure/Admin/isabelle_cronjob.scala
--- a/src/Pure/Admin/isabelle_cronjob.scala	Tue Jan 30 21:54:33 2024 +0100
+++ b/src/Pure/Admin/isabelle_cronjob.scala	Tue Jan 30 22:43:10 2024 +0100
@@ -34,7 +34,8 @@
   val build_log_dirs =
     List(Path.explode("~/log"), Path.explode("~/afp/log"), Path.explode("~/cronjob/log"))
 
-  val isabelle_devel: Path = Path.explode("~/html-data/devel")
+  val isabelle_devel: Path = Path.explode("/data/isatest/html-data/devel")
+  val public_log: Path = Path.explode("/data/isatest/cronjob/run/main.log")  // owned by log service
 
 
 
@@ -71,7 +72,7 @@
 
         val cronjob_log = isabelle_devel + Path.basic("cronjob-main.log")
         if (!cronjob_log.is_file) {
-          Files.createSymbolicLink(cronjob_log.java_path, current_log.java_path)
+          Files.createSymbolicLink(cronjob_log.java_path, public_log.java_path)
         }
       })