Changeset 73fcda in git for kernel/misc.cc

Timestamp:

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

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

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);
 }