equal
deleted
inserted
replaced
35 self.fout.write("%d\n" % len(v)) |
35 self.fout.write("%d\n" % len(v)) |
36 self.fout.write(v) |
36 self.fout.write(v) |
37 self.fout.flush() |
37 self.fout.flush() |
38 |
38 |
39 def serve_forever(self): |
39 def serve_forever(self): |
40 while self.serve_one(): pass |
40 try: |
|
41 while self.serve_one(): pass |
|
42 finally: |
|
43 if self.lock is not None: |
|
44 self.lock.release() |
41 sys.exit(0) |
45 sys.exit(0) |
42 |
46 |
43 def serve_one(self): |
47 def serve_one(self): |
44 cmd = self.fin.readline()[:-1] |
48 cmd = self.fin.readline()[:-1] |
45 if cmd: |
49 if cmd: |