equal
deleted
inserted
replaced
30 |
30 |
31 def _forwardoutput(ui, pipe): |
31 def _forwardoutput(ui, pipe): |
32 """display all data currently available on pipe as remote output. |
32 """display all data currently available on pipe as remote output. |
33 |
33 |
34 This is non blocking.""" |
34 This is non blocking.""" |
35 s = util.readpipe(pipe) |
35 if pipe: |
36 if s: |
36 s = util.readpipe(pipe) |
37 for l in s.splitlines(): |
37 if s: |
38 ui.status(_("remote: "), l, '\n') |
38 for l in s.splitlines(): |
|
39 ui.status(_("remote: "), l, '\n') |
39 |
40 |
40 class doublepipe(object): |
41 class doublepipe(object): |
41 """Operate a side-channel pipe in addition of a main one |
42 """Operate a side-channel pipe in addition of a main one |
42 |
43 |
43 The side-channel pipe contains server output to be forwarded to the user |
44 The side-channel pipe contains server output to be forwarded to the user |