From f72bb0373de010556b6a0d6ccbfd21302e916e21 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Petr=20Mr=C3=A1zek?= <peterix@gmail.com>
Date: Tue, 9 Mar 2010 21:53:06 +0100
Subject: [PATCH] Linux SHM server: clean up on exit

---
 shmserver/shms-linux.cpp | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/shmserver/shms-linux.cpp b/shmserver/shms-linux.cpp
index f27c547df..e79fef3bb 100644
--- a/shmserver/shms-linux.cpp
+++ b/shmserver/shms-linux.cpp
@@ -183,7 +183,16 @@ void SHM_Destroy ( void )
         close(fd_cllock);
         fd_svlock = 0;
         fd_cllock = 0;
-        
+
+        // destroy lock files
+        char name[256];
+        char name2[256];
+        sprintf(name, "/tmp/DFHack/%d",OS_getPID());
+        sprintf(name2, "%s/SVlock",name);
+        unlink(name2);
+        sprintf(name2, "%s/CLlock",name);
+        unlink(name2);
+        rmdir(name);
         fprintf(stderr,"dfhack: destroyed shared segment.\n");
         inited = false;
     }