equal
deleted
inserted
replaced
42 def serve_one(self): |
42 def serve_one(self): |
43 cmd = self.fin.readline()[:-1] |
43 cmd = self.fin.readline()[:-1] |
44 if cmd: |
44 if cmd: |
45 impl = getattr(self, 'do_' + cmd, None) |
45 impl = getattr(self, 'do_' + cmd, None) |
46 if impl: impl() |
46 if impl: impl() |
|
47 else: self.respond("") |
47 return cmd != '' |
48 return cmd != '' |
48 |
49 |
49 def do_heads(self): |
50 def do_heads(self): |
50 h = self.repo.heads() |
51 h = self.repo.heads() |
51 self.respond(" ".join(map(hex, h)) + "\n") |
52 self.respond(" ".join(map(hex, h)) + "\n") |