src/Pure/Admin/build_status.scala
changeset 65798 d459db0f6135
parent 65796 7d1c5150af70
child 65799 ed705d6a6a63
     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")