##// 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 / lib
tests
__init__.py Loading ...
backgroundjobs.py Loading ...
clipboard.py Loading ...
deepreload.py Loading ...
demo.py Loading ...
display.py Loading ...
guisupport.py Loading ...
inputhook.py Loading ...
inputhookgtk.py Loading ...
inputhookwx.py Loading ...
irunner.py Loading ...
latextools.py Loading ...
pretty.py Loading ...
pylabtools.py Loading ...