Change name of atExitCleanup function

diff --git a/src/snark/snark.cpp b/src/snark/snark.cpp
index 07b8521043e397625bfdbd360272fd31ae0619e0..35997531b052260f89b0ee6124245edec86f0bd9 100644 (file)
--- a/src/snark/snark.cpp
+++ b/src/snark/snark.cpp
@@ -263,7 +263,7 @@ INTEGER GetCommandPhase(INTEGER code)
   return Phase[code];
 }
 
   return Phase[code];
 }
 

-void unlinkLockfile(void) {
+void atExitCleanup(void) {

 #ifndef __CYGWIN__
   if (gLockFd >= 0) {
     close(gLockFd);
 #ifndef __CYGWIN__
   if (gLockFd >= 0) {
     close(gLockFd);


@@ -312,7 +312,7 @@ int snark(int argc, char *argv[])
   sprintf(str,"%d\n",getpid());
   write(gLockFd,str,strlen(str)); /* record pid to lockfile */
 
   sprintf(str,"%d\n",getpid());
   write(gLockFd,str,strlen(str)); /* record pid to lockfile */
 

-  atexit(unlinkLockfile);
+  atexit(atExitCleanup);

   
 #endif
 
   
 #endif