diff options
Diffstat (limited to 'lib/prserv')
| -rw-r--r-- | lib/prserv/serv.py | 12 |
1 files changed, 5 insertions, 7 deletions
diff --git a/lib/prserv/serv.py b/lib/prserv/serv.py index 3124b0799..25dcf8a0e 100644 --- a/lib/prserv/serv.py +++ b/lib/prserv/serv.py @@ -292,10 +292,9 @@ class PRServer(SimpleXMLRPCServer): logger.addHandler(streamhandler) # write pidfile - pid = str(os.getpid()) - pf = open(self.pidfile, 'w') - pf.write("%s\n" % pid) - pf.close() + pid = str(os.getpid()) + with open(self.pidfile, 'w') as pf: + pf.write("%s\n" % pid) self.work_forever() self.delpid() @@ -353,9 +352,8 @@ def start_daemon(dbfile, host, port, logfile): ip = socket.gethostbyname(host) pidfile = PIDPREFIX % (ip, port) try: - pf = open(pidfile,'r') - pid = int(pf.readline().strip()) - pf.close() + with open(pidfile) as pf: + pid = int(pf.readline().strip()) except IOError: pid = None |