##// END OF EJS Templates
pushkey: do not exchange obsole markers if feature is disabled...
pushkey: do not exchange obsole markers if feature is disabled This apply to both push and pull both when client or server.

File last commit:

r13141:6cfe17c1 default
r17298:59c14bf5 stable
Show More
filtercr.py
10 lines | 237 B | text/x-python | PythonLexer
#!/usr/bin/env python
# Filter output by the progress extension to make it readable in tests
import sys, re
for line in sys.stdin:
line = re.sub(r'\r+[^\n]', lambda m: '\n' + m.group()[-1:], line)
sys.stdout.write(line)
print