From 4fec3cbead29719df13f27a157b6f50aa4abe5d1 Mon Sep 17 00:00:00 2001
From: Sergey Simonchik <sergey.simonchik@jetbrains.com>
Date: Sat, 9 Dec 2023 22:22:00 +0100
Subject: [PATCH] terminal: catch unhandled exception from termination listener

GitOrigin-RevId: 057cb76100e0cd794a701ae5066f069ee1ac6db2
---
 .../jetbrains/plugins/terminal/exp/BlockTerminalSession.kt | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/plugins/terminal/src/org/jetbrains/plugins/terminal/exp/BlockTerminalSession.kt b/plugins/terminal/src/org/jetbrains/plugins/terminal/exp/BlockTerminalSession.kt
index 1f4927168d42..f935c1478e1a 100644
--- a/plugins/terminal/src/org/jetbrains/plugins/terminal/exp/BlockTerminalSession.kt
+++ b/plugins/terminal/src/org/jetbrains/plugins/terminal/exp/BlockTerminalSession.kt
@@ -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)
+          }
         }
       }
     }