kill command now deletes pid file
authorJustin Sobota <jsobota@ti.com>
Tue, 11 Mar 2014 20:12:05 +0000 (16:12 -0400)
committerJustin Sobota <jsobota@ti.com>
Tue, 11 Mar 2014 20:12:05 +0000 (16:12 -0400)
test/k2h/armv7/linux/rm_server.c
test/k2h/armv7/linux/serverlogutil.h
test/k2k/armv7/linux/rm_server.c
test/k2k/armv7/linux/serverlogutil.h

index 8f17c494410e46fd07a641158c49717bb18ee7fb..2b6b3aed16fd6e55aa793c96f266339cfaa71901 100644 (file)
@@ -527,6 +527,8 @@ int main(int argc, char *argv[])
                 printf("Failed to kill daemon: %s\n", strerror(errno));
                 exit(EXIT_FAILURE);
             }
+            /* Delete PID file */
+            unlink(get_pid_file_name());
             exit(EXIT_SUCCESS);
         }
 
index a0996bcb23f4031f4205aabc8f9b94efa9fe6dc7..f130c19fa02d8d970fc88d6abe959b122565c74b 100644 (file)
@@ -45,7 +45,7 @@
 #define DEFAULT_LOG_LEN     (0x800000)
 
 typedef struct rmserver_cfg_tag {
-       FILE *logfile_p;
+    FILE *logfile_p;
     int   logfile_max_len;
 } rmserver_cfg_t;
 
index 8f17c494410e46fd07a641158c49717bb18ee7fb..2b6b3aed16fd6e55aa793c96f266339cfaa71901 100644 (file)
@@ -527,6 +527,8 @@ int main(int argc, char *argv[])
                 printf("Failed to kill daemon: %s\n", strerror(errno));
                 exit(EXIT_FAILURE);
             }
+            /* Delete PID file */
+            unlink(get_pid_file_name());
             exit(EXIT_SUCCESS);
         }
 
index a0996bcb23f4031f4205aabc8f9b94efa9fe6dc7..f130c19fa02d8d970fc88d6abe959b122565c74b 100644 (file)
@@ -45,7 +45,7 @@
 #define DEFAULT_LOG_LEN     (0x800000)
 
 typedef struct rmserver_cfg_tag {
-       FILE *logfile_p;
+    FILE *logfile_p;
     int   logfile_max_len;
 } rmserver_cfg_t;