Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. database performance tuning: prefer light-weight IPC over heavy-duty transactions;
  2. tuned signature; tuned output;
  3. tuned signature: follow PostgreSQL syntax instead of JDBC API;
  4. more robust shutdown: interruptible database connection;
  5. clarified signature: more convenient send/receive operations;
Changeset 79729:bf377e10ff3b by wenzelm:
database performance tuning: prefer light-weight IPC over heavy-duty transactions;
The file was modified src/Pure/System/progress.scala (diff)
Changeset 79728:df4eb4b05ecd by wenzelm:
tuned signature;<br>tuned output;
The file was modified src/Pure/General/sql.scala (diff)
Changeset 79727:529a6e35aaa9 by wenzelm:
tuned signature: follow PostgreSQL syntax instead of JDBC API;
The file was modified src/Pure/General/sql.scala (diff)
Changeset 79726:621676d7fb9a by wenzelm:
more robust shutdown: interruptible database connection;
The file was modified src/Pure/General/sql.scala (diff)
Changeset 79725:abb5eedfeecf by wenzelm:
clarified signature: more convenient send/receive operations;
The file was modified src/Pure/General/sql.scala (diff)