daemon: new option --pid-file=<path> to store the pid

Signed-off-by: Matthias Lederhofer <matled@gmx.net>
Signed-off-by: Junio C Hamano <junkio@cox.net>

diff --git a/daemon.c b/daemon.c
index 01ccda33ea97dd62c00e6cfd63734fe39182f4ce..cdc42668633ec5a7b93544cca3fc92298d8556f4 100644 (file)
--- a/daemon.c
+++ b/daemon.c
@@ -674,6 +674,15 @@ static void sanitize_stdfds(void)
                close(fd);
 }
 
+static void store_pid(const char *path)
+{
+       FILE *f = fopen(path, "w");
+       if (!f)
+               die("cannot open pid file %s: %s", path, strerror(errno));
+       fprintf(f, "%d\n", getpid());
+       fclose(f);
+}
+
 static int serve(int port)
 {
        int socknum, *socklist;
@@ -689,6 +698,7 @@ int main(int argc, char **argv)
 {
        int port = DEFAULT_GIT_PORT;
        int inetd_mode = 0;
+       const char *pid_file = NULL;
        int i;
 
        /* Without this we cannot rely on waitpid() to tell
@@ -753,6 +763,10 @@ int main(int argc, char **argv)
                        user_path = arg + 12;
                        continue;
                }
+               if (!strncmp(arg, "--pid-file=", 11)) {
+                       pid_file = arg + 11;
+                       continue;
+               }
                if (!strcmp(arg, "--")) {
                        ok_paths = &argv[i+1];
                        break;
@@ -787,5 +801,8 @@ int main(int argc, char **argv)
 
        sanitize_stdfds();
 
+       if (pid_file)
+               store_pid(pid_file);
+
        return serve(port);
 }