--- a/src/Pure/Thy/export.scala Mon Mar 06 15:38:50 2023 +0100
+++ b/src/Pure/Thy/export.scala Mon Mar 06 15:48:04 2023 +0100
@@ -236,7 +236,7 @@
def make_entry(session_name: String, args0: Protocol.Export.Args, body: Bytes): Unit = {
if (!progress.stopped && !body.is_empty) {
- val args = if (db.is_server) args0.copy(compress = false) else args0
+ val args = if (db.is_postgresql) args0.copy(compress = false) else args0
consumer.send(Entry.make(session_name, args, body, cache) -> args.strict)
}
}