evade odd connection problems to https://isabelle.in.tum.de from some remote hosts;
authorwenzelm
Wed Jul 18 17:01:12 2018 +0200 (9 months ago)
changeset 686507538b5f301ea
parent 68649 f849fc1cb65e
child 68651 16d98ef49a2c
evade odd connection problems to https://isabelle.in.tum.de from some remote hosts;
Admin/cronjob/self_update
src/Pure/Admin/isabelle_cronjob.scala
     1.1 --- a/Admin/cronjob/self_update	Wed Jul 18 16:44:01 2018 +0200
     1.2 +++ b/Admin/cronjob/self_update	Wed Jul 18 17:01:12 2018 +0200
     1.3 @@ -11,7 +11,7 @@
     1.4  mkdir -p run log
     1.5  
     1.6  {
     1.7 -  hg -R isabelle pull "https://isabelle.in.tum.de/repos/isabelle" || echo "self_update pull failed" >&2
     1.8 +  hg -R isabelle pull "https://isabelle.sketis.net/repos/isabelle" || echo "self_update pull failed" >&2
     1.9    hg -R isabelle update -C || echo "self_update update failed" >&2
    1.10    isabelle/bin/isabelle components -a 2>&1 || echo "self_update components failed" >&2
    1.11  } > run/self_update.out
     2.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Wed Jul 18 16:44:01 2018 +0200
     2.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Wed Jul 18 17:01:12 2018 +0200
     2.3 @@ -23,7 +23,7 @@
     2.4    val current_log = main_dir + Path.explode("run/main.log")  // owned by log service
     2.5    val cumulative_log = main_dir + Path.explode("log/main.log")  // owned by log service
     2.6  
     2.7 -  val isabelle_repos_source = "https://isabelle.in.tum.de/repos/isabelle"
     2.8 +  val isabelle_repos_source = "https://isabelle.sketis.net/repos/isabelle"
     2.9    val isabelle_repos = main_dir + Path.explode("isabelle")
    2.10    val afp_repos = main_dir + Path.explode("AFP")
    2.11