Skip to content

Commit

Permalink
Fix DB maintenance actions broken by #7117
Browse files Browse the repository at this point in the history
  • Loading branch information
radeusgd committed Jan 21, 2025
1 parent 0034798 commit b42f4a3
Showing 1 changed file with 5 additions and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -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

Expand Down

0 comments on commit b42f4a3

Please sign in to comment.