From c5df31975fbd365b31b2388c4ad7288f1954269b Mon Sep 17 00:00:00 2001 From: h_vogt Date: Sun, 16 Apr 2017 18:58:11 +0200 Subject: [PATCH] misccoms.c, exit immediately, if not shared ngspice, do exit only after cleaning all memory if 'set ngdebug' is given. --- src/frontend/misccoms.c | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/frontend/misccoms.c b/src/frontend/misccoms.c index 4108b712f..d41ff6774 100644 --- a/src/frontend/misccoms.c +++ b/src/frontend/misccoms.c @@ -56,6 +56,11 @@ com_quit(wordlist *wl) if (!noask && !confirm_quit()) return; +#ifndef SHARED_MODULE + if (!ft_ngdebug) + exit(exitcode); +#endif + /* start to clean up the mess */ #ifdef SHARED_MODULE