| changeset 22988 | 32b77aba2772 |
| parent 22563 | 8cc5e673cac0 |
| child 22989 | dc8803ce3dfe |
| 22987:e6d890e1ed4f | 22988:32b77aba2772 |
|---|---|
246 # we'll get here if the client disconnected while we were reading |
246 # we'll get here if the client disconnected while we were reading |
247 # its request |
247 # its request |
248 return 1 |
248 return 1 |
249 |
249 |
250 return 0 |
250 return 0 |
251 |
|
252 class pipeservice(object): |
|
253 def __init__(self, ui, repo, opts): |
|
254 self.server = server(ui, repo, opts['cmdserver']) |
|
255 |
|
256 def init(self): |
|
257 pass |
|
258 |
|
259 def run(self): |
|
260 return self.server.serve() |