unload ngsolve library

This commit is contained in:
Joachim Schoeberl 2013-04-02 20:32:04 +00:00
parent 47eb0dc600
commit 3b20e4f848

View File

@ -402,7 +402,17 @@ set videoactive 0
# .ngmenu.file add separator # .ngmenu.file add separator
.ngmenu.file add command -label "Quit" -accelerator "<q>" \ .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 # exit