From 3b20e4f848ae56c04a9ce59fe103297d60efca54 Mon Sep 17 00:00:00 2001
From: Joachim Schoeberl <joachim.schoeberl@tuwien.ac.at>
Date: Tue, 2 Apr 2013 20:32:04 +0000
Subject: [PATCH] unload ngsolve library

---
 ng/menustat.tcl | 12 +++++++++++-
 1 file changed, 11 insertions(+), 1 deletion(-)

diff --git a/ng/menustat.tcl b/ng/menustat.tcl
index dbf0a5c3..f9069b9d 100644
--- a/ng/menustat.tcl
+++ b/ng/menustat.tcl
@@ -402,7 +402,17 @@ set videoactive 0
 # .ngmenu.file add separator
 
 .ngmenu.file add command -label "Quit" -accelerator "<q>" \
-    -command { puts "Thank you for using $progname"; Ng_Exit; destroy . }
+    -command { 
+        puts "Thank you for using $progname"; 
+
+        if { [catch { unload libngsolve[info sharedlibextension] ngsolve } result ] } {
+#            puts "cannot unload ngsolve" 
+#            puts "error: $result"
+        } 
+
+        Ng_Exit; 
+        destroy . 
+    }
 # exit