From 12ffae54a8fa6219534cf82e49e36fa1da52acf2 Mon Sep 17 00:00:00 2001
From: Mathieu Lacage <mathieu.lacage@sophia.inria.fr>
Date: Mon, 9 Mar 2009 19:54:47 +0100
Subject: [PATCH] don't exit on save

---
 src/contrib/config-store.cc | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/src/contrib/config-store.cc b/src/contrib/config-store.cc
index 994aa077d..61d65c1ec 100644
--- a/src/contrib/config-store.cc
+++ b/src/contrib/config-store.cc
@@ -123,13 +123,6 @@ void
 ConfigStore::ConfigureAttributes (void)
 {
   m_file->Attributes ();
-  if (m_mode == ConfigStore::SAVE)
-    {
-      delete m_file;
-      m_file = 0;
-      Simulator::Destroy ();
-      exit (0);
-    }
 }
 
 void