##// END OF EJS Templates
pushkey: splits obsolete marker exchange into multiple keys...
pushkey: splits obsolete marker exchange into multiple keys Obsolete markers are now exchanged in smaller pieces that fit in a http header. This changes is done to avoid 400 bad request error when exchanging obsolete puskey over http. The last key pushed is always hold by the "dump0" key to ensure an easy place to hook for people who need it.

File last commit:

r1360:7d439981 default
r17295:1f08ecc7 stable
Show More
__init__.py
1 line | 14 B | text/x-python | PythonLexer
# placeholder