##// END OF EJS Templates
Don't assume history request succeeded...
Don't assume history request succeeded errors in startup can cause the history request to be aborted. There could be any of a number of reasons the history request should fail, and the frontend should *never* assume that the status is 'ok'.
MinRK -
r4700:24d3b02a
Show More
Name Size Modified Last Commit Author
/ IPython / external / simplegeneric
__init__.py Loading ...
_simplegeneric.py Loading ...