equal
deleted
inserted
replaced
83 Got arguments 1:user@dummy 2:hg -R remote serve --stdio 3: 4: 5: |
83 Got arguments 1:user@dummy 2:hg -R remote serve --stdio 3: 4: 5: |
84 Got arguments 1:user@dummy 2:hg -R remote serve --stdio 3: 4: 5: |
84 Got arguments 1:user@dummy 2:hg -R remote serve --stdio 3: 4: 5: |
85 Got arguments 1:user@dummy 2:hg -R remote serve --stdio 3: 4: 5: |
85 Got arguments 1:user@dummy 2:hg -R remote serve --stdio 3: 4: 5: |
86 Got arguments 1:user@dummy 2:hg -R local serve --stdio 3: 4: 5: |
86 Got arguments 1:user@dummy 2:hg -R local serve --stdio 3: 4: 5: |
87 Got arguments 1:user@dummy 2:hg -R remote serve --stdio 3: 4: 5: |
87 Got arguments 1:user@dummy 2:hg -R remote serve --stdio 3: 4: 5: |
88 changegroup in remote: u=remote:ssh:127.0.0.1 |
88 changegroup-in-remote hook: HG_NODE=572896fe480d7581849806ee402175c49cb20037 HG_SOURCE=serve HG_URL=remote:ssh:127.0.0.1 |
89 Got arguments 1:user@dummy 2:hg -R remote serve --stdio 3: 4: 5: |
89 Got arguments 1:user@dummy 2:hg -R remote serve --stdio 3: 4: 5: |
90 changegroup in remote: u=remote:ssh:127.0.0.1 |
90 changegroup-in-remote hook: HG_NODE=ac7448082955a0b2ff5cb4512c1e061c779bbc79 HG_SOURCE=serve HG_URL=remote:ssh:127.0.0.1 |