src/Pure/Thy/sessions.scala
changeset 65748 1f4a80e80c88
parent 65740 83388f09e9ab
child 65833 95fd3b9888e6
     1.1 --- a/src/Pure/Thy/sessions.scala	Sat May 06 20:51:33 2017 +0200
     1.2 +++ b/src/Pure/Thy/sessions.scala	Sat May 06 20:52:23 2017 +0200
     1.3 @@ -824,15 +824,15 @@
     1.4            Session_Info.table.delete(Session_Info.session_name.where_equal(name)))(_.execute)
     1.5          db.using_statement(Session_Info.table.insert())(stmt =>
     1.6          {
     1.7 -          stmt.set_string(1, name)
     1.8 -          stmt.set_bytes(2, encode_properties(build_log.session_timing))
     1.9 -          stmt.set_bytes(3, compress_properties(build_log.command_timings))
    1.10 -          stmt.set_bytes(4, compress_properties(build_log.ml_statistics))
    1.11 -          stmt.set_bytes(5, compress_properties(build_log.task_statistics))
    1.12 -          stmt.set_string(6, cat_lines(build.sources))
    1.13 -          stmt.set_string(7, cat_lines(build.input_heaps))
    1.14 -          stmt.set_string(8, build.output_heap getOrElse "")
    1.15 -          stmt.set_int(9, build.return_code)
    1.16 +          stmt.string(1) = name
    1.17 +          stmt.bytes(2) = encode_properties(build_log.session_timing)
    1.18 +          stmt.bytes(3) = compress_properties(build_log.command_timings)
    1.19 +          stmt.bytes(4) = compress_properties(build_log.ml_statistics)
    1.20 +          stmt.bytes(5) = compress_properties(build_log.task_statistics)
    1.21 +          stmt.string(6) = cat_lines(build.sources)
    1.22 +          stmt.string(7) = cat_lines(build.input_heaps)
    1.23 +          stmt.string(8) = build.output_heap getOrElse ""
    1.24 +          stmt.int(9) = build.return_code
    1.25            stmt.execute()
    1.26          })
    1.27        }