src/Pure/Admin/build_log.scala
changeset 64193 7a7e370e2523
parent 64160 1eea419fab65
child 64196 6688b9cd443b
     1.1 --- a/src/Pure/Admin/build_log.scala	Thu Oct 13 15:44:24 2016 +0200
     1.2 +++ b/src/Pure/Admin/build_log.scala	Thu Oct 13 16:14:41 2016 +0200
     1.3 @@ -27,9 +27,11 @@
     1.4        DateTimeFormatter.ofPattern("yyyy-MM-dd").format(date.rep),
     1.5        new java.lang.Long((date.time - date.midnight.time).ms / 1000))
     1.6  
     1.7 -  def log_path(engine: String, date: Date, more: String*): Path =
     1.8 -    Path.explode(date.rep.getYear.toString) +
     1.9 -      Path.explode((engine :: log_date(date) :: more.toList).mkString("", "_", ".log"))
    1.10 +  def log_subdir(date: Date): Path =
    1.11 +    Path.explode("log") + Path.explode(date.rep.getYear.toString)
    1.12 +
    1.13 +  def log_filename(engine: String, date: Date, more: String*): Path =
    1.14 +    Path.explode((engine :: log_date(date) :: more.toList).mkString("", "_", ".log"))
    1.15  
    1.16  
    1.17    /* log file collections */