proper ISABELLE_IDENTIFIER for remote Admin/build_history, e.g. relevant for settings;
authorwenzelm
Wed May 24 15:04:13 2017 +0200 (2017-05-24)
changeset 659172b7d4678bce6
parent 65916 5b8ed310b31d
child 65918 b873cefb3b6a
proper ISABELLE_IDENTIFIER for remote Admin/build_history, e.g. relevant for settings;
src/Pure/Admin/build_history.scala
src/Pure/Admin/isabelle_cronjob.scala
     1.1 --- a/src/Pure/Admin/build_history.scala	Wed May 24 11:39:00 2017 +0200
     1.2 +++ b/src/Pure/Admin/build_history.scala	Wed May 24 15:04:13 2017 +0200
     1.3 @@ -403,6 +403,7 @@
     1.4      isabelle_repos_self: Path,
     1.5      isabelle_repos_other: Path,
     1.6      isabelle_repos_source: String = "http://isabelle.in.tum.de/repos/isabelle",
     1.7 +    isabelle_identifier: String = default_isabelle_identifier,
     1.8      self_update: Boolean = false,
     1.9      push_isabelle_home: Boolean = false,
    1.10      progress: Progress = No_Progress,
    1.11 @@ -454,6 +455,7 @@
    1.12  
    1.13        val process_result =
    1.14          ssh.execute(
    1.15 +          Isabelle_System.export_isabelle_identifier(isabelle_identifier) +
    1.16            ssh.bash_path(isabelle_admin + Path.explode("build_history")) +
    1.17              " -o " + ssh.bash_path(output_file) + " " + options + " " +
    1.18              ssh.bash_path(isabelle_repos_other) + " " + args,
     2.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Wed May 24 11:39:00 2017 +0200
     2.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Wed May 24 15:04:13 2017 +0200
     2.3 @@ -235,6 +235,7 @@
     2.4                    isabelle_repos,
     2.5                    isabelle_repos.ext(r.host),
     2.6                    isabelle_repos_source = isabelle_dev_source,
     2.7 +                  isabelle_identifier = "cronjob_build_history",
     2.8                    self_update = self_update,
     2.9                    push_isabelle_home = push_isabelle_home,
    2.10                    options =