actually plot extended profile history;
authorwenzelm
Wed May 10 17:24:31 2017 +0200 (2017-05-10)
changeset 65798d459db0f6135
parent 65797 d76c9c5c0656
child 65799 ed705d6a6a63
actually plot extended profile history;
src/Pure/Admin/build_status.scala
src/Pure/Admin/isabelle_cronjob.scala
src/Pure/Admin/jenkins.scala
     1.1 --- a/src/Pure/Admin/build_status.scala	Wed May 10 11:13:18 2017 +0200
     1.2 +++ b/src/Pure/Admin/build_status.scala	Wed May 10 17:24:31 2017 +0200
     1.3 @@ -11,7 +11,7 @@
     1.4  {
     1.5    /* data profiles */
     1.6  
     1.7 -  sealed case class Profile(description: String, sql: String)
     1.8 +  sealed case class Profile(description: String, history: Int, sql: String)
     1.9    {
    1.10      def select(columns: List[SQL.Column], days: Int, only_sessions: Set[String]): SQL.Source =
    1.11      {
    1.12 @@ -23,7 +23,7 @@
    1.13  
    1.14        Build_Log.Data.universal_table.select(columns, distinct = true,
    1.15          sql = "WHERE " +
    1.16 -          Build_Log.Data.pull_date + " > " + Build_Log.Data.recent_time(days) + " AND " +
    1.17 +          Build_Log.Data.pull_date + " > " + Build_Log.Data.recent_time(days max history) + " AND " +
    1.18            Build_Log.Data.status + " = " + SQL.string(Build_Log.Session_Status.finished.toString) +
    1.19            " AND " + sql_sessions + SQL.enclose(sql) +
    1.20            " ORDER BY " + Build_Log.Data.pull_date + " DESC")
     2.1 --- a/src/Pure/Admin/isabelle_cronjob.scala	Wed May 10 11:13:18 2017 +0200
     2.2 +++ b/src/Pure/Admin/isabelle_cronjob.scala	Wed May 10 17:24:31 2017 +0200
     2.3 @@ -95,7 +95,7 @@
     2.4        (if (detect == "") "" else " AND " + SQL.enclose(detect))
     2.5  
     2.6      def profile: Build_Status.Profile =
     2.7 -      Build_Status.Profile(description, sql)
     2.8 +      Build_Status.Profile(description, history, sql)
     2.9  
    2.10      def pick(options: Options, rev: String = ""): Option[String] =
    2.11      {
     3.1 --- a/src/Pure/Admin/jenkins.scala	Wed May 10 11:13:18 2017 +0200
     3.2 +++ b/src/Pure/Admin/jenkins.scala	Wed May 10 17:24:31 2017 +0200
     3.3 @@ -54,7 +54,7 @@
     3.4  
     3.5    val build_status_profiles: List[Build_Status.Profile] =
     3.6      build_log_jobs.map(job_name =>
     3.7 -      Build_Status.Profile("jenkins " + job_name,
     3.8 +      Build_Status.Profile("jenkins " + job_name, 0,
     3.9          Build_Log.Prop.build_engine + " = " + SQL.string(Build_Log.Jenkins.engine) + " AND " +
    3.10          Build_Log.Data.session_name + " <> " + SQL.string("Pure") + " AND " +
    3.11          Build_Log.Data.log_name + " LIKE " + SQL.string("%" + job_name)))