Changeset 73fcda in git

Timestamp:

Feb 23, 2008, 6:26:38 PM (15 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', '91fdef05f09f54b8d58d92a472e9c4a43aa4656f')

Children:

00c89cb3475f67740a01779e6452fe57c1b0fabe

Parents:

bb228b67c08c1d287fcc5bed594ea651d0240138

Message:

*hannes: MP_ReleaseEnvi before exit


git-svn-id: file:///usr/local/Singular/svn/trunk@10599 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• kernel/misc.cc (modified) (3 diffs)

kernel/misc.cc

@@ -14 +14 @@
 
 #include "mod2.h"
+#ifdef HAVE_MPSR
+#include<MP.h>
+#endif
 #include <mylimits.h>
 #include "omalloc.h"
@@ -75 +78 @@
 */
 extern "C" {
+#ifdef HAVE_MPSR
+MP_Env_pt mp_Env = NULL;
+#endif
+
 void m2_end(int i)
 {
@@ -115 +122 @@
       printf("\nhalt %d\n",i);
   }
+  #ifdef HAVE_MPSR
+  /* if (mp_Env!=NULL)*/ MP_ReleaseEnv(mp_Env);
+  #endif
   exit(i);
 }