From 2750bd3c9277d9c04f849aa1afbf8b6d369cf0ff Mon Sep 17 00:00:00 2001
From: jsorg71 <jsorg71>
Date: Thu, 23 Jul 2009 19:46:44 +0000
Subject: [PATCH] delete the pid file on exit

---
 sesman/sesman.c | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/sesman/sesman.c b/sesman/sesman.c
index 4fc038de..186ad4e5 100644
--- a/sesman/sesman.c
+++ b/sesman/sesman.c
@@ -331,6 +331,12 @@ main(int argc, char** argv)
 
   sesman_main_loop();
 
+  /* clean up PID file on exit */
+  if (daemon)
+  {
+    g_file_delete(pid_file);
+  }
+
   g_delete_wait_obj(g_term_event);
   g_delete_wait_obj(g_sync_event);