src/Pure/General/sql.scala
changeset 69980 f2e3adfd916f
parent 69393 ed0824ef337e
     1.1 --- a/src/Pure/General/sql.scala	Mon Mar 25 16:11:28 2019 +0100
     1.2 +++ b/src/Pure/General/sql.scala	Mon Mar 25 16:45:08 2019 +0100
     1.3 @@ -497,7 +497,7 @@
     1.4      // see https://jdbc.postgresql.org/documentation/head/8-date-time.html
     1.5      def update_date(stmt: SQL.Statement, i: Int, date: Date): Unit =
     1.6        if (date == null) stmt.rep.setObject(i, null)
     1.7 -      else stmt.rep.setObject(i, OffsetDateTime.from(date.to_utc.rep))
     1.8 +      else stmt.rep.setObject(i, OffsetDateTime.from(date.to(Date.timezone_utc).rep))
     1.9  
    1.10      def date(res: SQL.Result, column: SQL.Column): Date =
    1.11      {