##// END OF EJS Templates
load header with engine id when engine dies in TaskScheduler...
load header with engine id when engine dies in TaskScheduler This ensures that the metadata dict on the *Client* has the engine_uuid of the engine on which the task failed. It is identical to code elsewhere (Hub, Client) for identifying when engines die.
MinRK -
r6068:f8f19148
Show More
Name Size Modified Last Commit Author
/ IPython / nbformat
tests
v1
v2
v3
__init__.py Loading ...
current.py Loading ...