src/Pure/Admin/isabelle_cronjob.scala
changeset 71380 5965e6e3c3ec
parent 70757 6a835635fa93
child 71537 93bdbac68d8d
equal deleted inserted replaced
71379:942cc80ba18a 71380:5965e6e3c3ec
   114     def unknown: Boolean = !known
   114     def unknown: Boolean = !known
   115     def versions: (String, Option[String]) = (isabelle_version, afp_version)
   115     def versions: (String, Option[String]) = (isabelle_version, afp_version)
   116 
   116 
   117     def known_versions(rev: String, afp_rev: Option[String]): Boolean =
   117     def known_versions(rev: String, afp_rev: Option[String]): Boolean =
   118       known && rev != "" && isabelle_version == rev &&
   118       known && rev != "" && isabelle_version == rev &&
   119       (afp_rev.isEmpty || afp_rev.get != "" && afp_version == afp_rev.get)
   119       (afp_rev.isEmpty || afp_rev.get != "" && afp_version == afp_rev)
   120   }
   120   }
   121 
   121 
   122   def recent_items(db: SQL.Database,
   122   def recent_items(db: SQL.Database,
   123     days: Int, rev: String, afp_rev: Option[String], sql: SQL.Source): List[Item] =
   123     days: Int, rev: String, afp_rev: Option[String], sql: SQL.Source): List[Item] =
   124   {
   124   {