##// 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
/ ... / html / notebook / static / codemirror / mode
css
htmlmixed
javascript
markdown
python
rst
xml