##// END OF EJS Templates
add 'received' timestamp to DB...
add 'received' timestamp to DB allows 'wall_time' to make sense in cases other than simple waiting AsyncResult.
MinRK -
r6469:bd8a8ec7
Show More
Name Size Modified Last Commit Author
/ IPython / frontend / terminal / console
tests
__init__.py Loading ...
app.py Loading ...
completer.py Loading ...
interactiveshell.py Loading ...