Fix windows PID file

This commit is contained in:
Peter Šurda 2017-08-06 18:29:08 +02:00
parent 5108d08ac9
commit 578c5dd495
Signed by untrusted user: PeterSurda
GPG Key ID: 0C5F50C0B5F37D87

View File

@ -54,8 +54,7 @@ class singleinstance:
raise raise
else: else:
pidLine = "%i\n" % self.lockPid pidLine = "%i\n" % self.lockPid
self.fd.write(pidLine) os.write(self.fd, pidLine)
self.fd.flush()
else: # non Windows else: # non Windows
self.fp = open(self.lockfile, 'w') self.fp = open(self.lockfile, 'w')
try: try: