##// END OF EJS Templates
push: catch and process PushkeyFailed error...
push: catch and process PushkeyFailed error We add a way to register "pushkey failure callback" that will be used if the push is aborted by a pushkey failure. A part generator adding mandatory pushkey parts should register a failure callback for all of them. The callback will be in charge of generating a meaningful abort if this part fails. If no callback is registered, the error is propagated. Catch PushkeyFailed error in exchange.
Pierre-Yves David -
r25485:8182163a default
Show More
Name Size Modified Last Commit Author
/ hgext / highlight
__init__.py Loading ...
highlight.py Loading ...