From 40814138765a4f1273b50013e3547035c75f8d68 Mon Sep 17 00:00:00 2001 From: "Paul \"LeoNerd\" Evans" Date: Wed, 3 Sep 2014 17:32:31 +0100 Subject: [PATCH] Default PID file should be 'homeserver.pid' to match the other 'homeserver.*' naming convention --- synapse/config/server.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/synapse/config/server.py b/synapse/config/server.py index d7f3e9e0b..516e4cf88 100644 --- a/synapse/config/server.py +++ b/synapse/config/server.py @@ -58,7 +58,7 @@ class ServerConfig(Config): help="Local interface to listen on") server_group.add_argument("-D", "--daemonize", action='store_true', help="Daemonize the home server") - server_group.add_argument('--pid-file', default="hs.pid", + server_group.add_argument('--pid-file', default="homeserver.pid", help="When running as a daemon, the file to" " store the pid in") server_group.add_argument("--manhole", metavar="PORT", dest="manhole",