(child_just_exited)

- destroy emb_socket if needed, thus ensuring that next embedded tool
  wont't lack some space because previous emb_socked never was
  explicitely destroyed (gtk+2 perl binding bug!!!)
- better comment what it does

1 files changed, 5 insertions, 2 deletions

diff --git a/control-center b/control-center
index 086cca38..18b7db09 100755
--- a/control-center
+++ b/control-center
@@ -638,12 +638,15 @@ Gtk2->main;
 #-------------------------------------------------------------
 # socket/plug managment
 
-# when child properly exited
+# called once embedded tool has exited
 sub child_just_exited() {
     $pending_app = 0;
     $left_locked = 0;
     hide_socket_and_clean();
-    undef $emb_socket;
+    if ($emb_socket) {
+        $emb_socket->destroy;
+        undef $emb_socket;
+    }
     gtkset_mousecursor_normal();
     $notebook_global->show;
     Glib::Source->remove($timeout) if $timeout;