src/Pure/Admin/build_log.scala
changeset 64297 12a47f263122
parent 64296 544481988e65
child 64298 0f000101652a
     1.1 --- a/src/Pure/Admin/build_log.scala	Tue Oct 18 11:24:14 2016 +0200
     1.2 +++ b/src/Pure/Admin/build_log.scala	Tue Oct 18 11:50:38 2016 +0200
     1.3 @@ -30,8 +30,8 @@
     1.4    def log_subdir(date: Date): Path =
     1.5      Path.explode("log") + Path.explode(date.rep.getYear.toString)
     1.6  
     1.7 -  def log_filename(engine: String, date: Date, more: String*): Path =
     1.8 -    Path.explode((engine :: log_date(date) :: more.toList).mkString("", "_", ".log"))
     1.9 +  def log_filename(engine: String, date: Date, more: List[String] = Nil): Path =
    1.10 +    Path.explode((engine :: log_date(date) :: more).mkString("", "_", ".log"))
    1.11  
    1.12  
    1.13    /* log file collections */
    1.14 @@ -247,6 +247,7 @@
    1.15  
    1.16    object Field
    1.17    {
    1.18 +    val build_tags = "build_tags"
    1.19      val build_group_id = "build_group_id"
    1.20      val build_id = "build_id"
    1.21      val build_engine = "build_engine"