equal
deleted
inserted
replaced
107 yesnoref = batch.known(dag.externalizeall(sample)) |
107 yesnoref = batch.known(dag.externalizeall(sample)) |
108 batch.submit() |
108 batch.submit() |
109 srvheadhashes = srvheadhashesref.value |
109 srvheadhashes = srvheadhashesref.value |
110 yesno = yesnoref.value |
110 yesno = yesnoref.value |
111 else: |
111 else: |
112 # compatibitity with pre-batch, but post-known remotes during 1.9 devel |
112 # compatibility with pre-batch, but post-known remotes during 1.9 |
|
113 # development |
113 srvheadhashes = remote.heads() |
114 srvheadhashes = remote.heads() |
114 sample = [] |
115 sample = [] |
115 |
116 |
116 if cl.tip() == nullid: |
117 if cl.tip() == nullid: |
117 if srvheadhashes != [nullid]: |
118 if srvheadhashes != [nullid]: |