##// 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'.

File last commit:

r2045:2b04bcfb
r4700:24d3b02a
Show More
shadowns.py
1 line | 24 B | text/x-python | PythonLexer
""" Shadow namespace """