From b42f4a3cec5ac6d547ea364c60a31ce186cafbc3 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rados=C5=82aw=20Wa=C5=9Bko?= Date: Tue, 21 Jan 2025 22:33:15 +0100 Subject: [PATCH] Fix DB maintenance actions broken by https://github.com/enso-org/enso/issues/7117 --- .../Database/0.0.0-dev/src/Internal/JDBC_Connection.enso | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/distribution/lib/Standard/Database/0.0.0-dev/src/Internal/JDBC_Connection.enso b/distribution/lib/Standard/Database/0.0.0-dev/src/Internal/JDBC_Connection.enso index f97548ba4527..eeebb90e45aa 100644 --- a/distribution/lib/Standard/Database/0.0.0-dev/src/Internal/JDBC_Connection.enso +++ b/distribution/lib/Standard/Database/0.0.0-dev/src/Internal/JDBC_Connection.enso @@ -65,7 +65,11 @@ type JDBC_Connection `synchronized` critical section (including the current thread). run_maintenance_action_if_possible : (Nothing -> Any) -> Nothing run_maintenance_action_if_possible self callback = - self.operation_synchronizer.runMaintenanceActionIfPossible callback + # TODO The wrapping is a workaround for https://github.com/enso-org/enso/issues/7117 + wrapped_callback x = + Context.Output.with_enabled <| + callback x + self.operation_synchronizer.runMaintenanceActionIfPossible wrapped_callback ## PRIVATE