terminal: catch unhandled exception from termination listener

GitOrigin-RevId: 057cb76100e0cd794a701ae5066f069ee1ac6db2
2026-09-27 10:03:11 +07:00 · 2023-12-09 23:48:02 +00:00
parent 95213f24d5
commit 4fec3cbead
1 changed files with 6 additions and 1 deletions
@@ -64,7 +64,12 @@ class BlockTerminalSession(settings: JBTerminalSystemSettingsProviderBase,
      finally {
        ttyConnector.closeSafely()
        for (terminationListener in terminationListeners) {
-          terminationListener.run()
+          try {
+            terminationListener.run()
+          }
+          catch (t: Throwable) {
+            thisLogger().error("Unhandled exception in termination listener", t)
+          }
        }
      }
    }