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.

Brian Granger - - Load All Authors

File last commit:

r5970:b6bb1663


                r6068:f8f19148

Download file

             README.md
        
                    6 lines
            
             | 234 B
            
                | text/x-minidsrc
            
             |
                MarkdownLexer

/ IPython / frontend / html / notebook / static / codemirror / README.md

History | Annotation | Raw |Copy content |Copy permalink

CodeMirror 2

CodeMirror 2 is a rewrite of CodeMirror
1. The docs live
here, and the project page is
http://codemirror.net/.

	Site-wide shortcuts
/	Use quick search box
g h	Goto home page
g g	Goto my private gists page
g G	Goto my public gists page
g 0-9	Goto bookmarked items from 0-9
n r	New repository page
n g	New gist page

	Repositories
g s	Goto summary page
g c	Goto changelog page
g f	Goto files page
g F	Goto files page with file search activated
g p	Goto pull requests page
g o	Goto repository settings
g O	Goto repository access permissions settings
t s	Toggle sidebar on some pages