src/Pure/Admin/jenkins.scala
changeset 69980 f2e3adfd916f
parent 68209 aeffd8f1f079
     1.1 --- a/src/Pure/Admin/jenkins.scala	Mon Mar 25 16:11:28 2019 +0100
     1.2 +++ b/src/Pure/Admin/jenkins.scala	Mon Mar 25 16:45:08 2019 +0100
     1.3 @@ -8,7 +8,6 @@
     1.4  
     1.5  
     1.6  import java.net.URL
     1.7 -import java.time.ZoneId
     1.8  
     1.9  import scala.util.matching.Regex
    1.10  
    1.11 @@ -71,7 +70,7 @@
    1.12      main_log: URL,
    1.13      session_logs: List[(String, String, URL)])
    1.14    {
    1.15 -    val date: Date = Date(Time.ms(timestamp), ZoneId.of("Europe/Berlin"))
    1.16 +    val date: Date = Date(Time.ms(timestamp), Date.timezone_berlin)
    1.17  
    1.18      def log_filename: Path =
    1.19        Build_Log.log_filename(Build_Log.Jenkins.engine, date, List(job_name))