From 9f97f8701cfd675a32d6ca4aa2a40d39629b118a Mon Sep 17 00:00:00 2001
From: dwarning <dwarning>
Date: Tue, 19 Jan 2010 21:48:42 +0000
Subject: [PATCH] provide a controlled_exit function

---
 src/misc/util.c | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/src/misc/util.c b/src/misc/util.c
index a3f7011db..c6a6d70f4 100644
--- a/src/misc/util.c
+++ b/src/misc/util.c
@@ -6,6 +6,20 @@
 #include "ngspice.h"
 #include "util.h"
 
+#ifdef HAS_WINDOWS
+void winmessage(char* new_msg);
+#endif
+
+void 
+controlled_exit(int dummy)
+{
+#ifdef HAS_WINDOWS
+  winmessage("Fatal error in SPICE");
+#else
+  fprintf(stderr, "Fatal error in SPICE - Return");
+  getc(stdin);
+#endif
+}
 
 /* **************************************************************** */
 /*                                                                  */