diff options
author | Joel Rosdahl <joel@rosdahl.net> | 2016-07-19 15:18:04 +0200 |
---|---|---|
committer | Joel Rosdahl <joel@rosdahl.net> | 2016-07-19 15:18:04 +0200 |
commit | d5161a7a42e59b3455afe40ef26e6ed8a2721b95 (patch) | |
tree | b4ed06c7e9fcf76d5164ff9ec874bdedb7389c16 | |
parent | 6771a3b58524e59aa855cd7579b2e05fd57dd4b8 (diff) | |
download | miniircd-d5161a7a42e59b3455afe40ef26e6ed8a2721b95.tar.gz miniircd-d5161a7a42e59b3455afe40ef26e6ed8a2721b95.zip |
Rename --pidfile to --pid-file for consistency
-rwxr-xr-x | miniircd | 12 |
1 files changed, 6 insertions, 6 deletions
@@ -676,13 +676,13 @@ class Server(object): if self.statedir: create_directory(self.statedir) - def make_pidfile(self, filename): + def make_pid_file(self, filename): try: fd = os.open(filename, os.O_RDWR | os.O_CREAT | os.O_EXCL, 0644) os.write(fd, "%i\n" % os.getpid()) os.close(fd) except: - self.print_error("Could not create pidfile '%s'" % filename) + self.print_error("Could not create PID file '%s'" % filename) sys.exit(1) def daemonize(self): @@ -898,9 +898,9 @@ def main(argv): metavar="X", help="listen on specific IP address X") op.add_option( - "--pidfile", + "--pid-file", metavar="X", - help="make pidfile file X") + help="write PID to file X") op.add_option( "--log-file", metavar="X", @@ -1002,8 +1002,8 @@ def main(argv): server = Server(options) if options.daemon: server.daemonize() - if options.pidfile: - server.make_pidfile(options.pidfile) + if options.pid_file: + server.make_pid_file(options.pid_file) try: server.start() except KeyboardInterrupt: |