Remote execution - improved error handling

Bug found by:
Submitted by:
Requested by:
Reviewed by:
Approved by:
Obtained from:

diff --git a/editor.tcl b/editor.tcl
index 11281d2117b99ff9347dc76fc15fa28d6b57c741..47e6a4bcb9841d5c7a0381b9dc95efbd69e4c7df 100755 (executable)
--- a/editor.tcl
+++ b/editor.tcl
@@ -2263,6 +2263,7 @@ proc configRemoteHostsApply { wi } {
     global exec_hosts
     global active_host
     global remote_exec editor_only
+    global exec_sock monitor_sock exec_sockets_opened
 
     set n [llength $exec_hosts]
     set exec_hosts []
@@ -2279,6 +2280,10 @@ proc configRemoteHostsApply { wi } {
         set editor_only true
        .menubar.experiment entryconfigure "Execute" -state disabled
     }
+    catch { close exec_sock } message
+    catch { close monitor_sock } message
+    catch { unset exec_sock monitor_sock } message
+    set exec_sockets_opened false
     destroy $wi
 }