##// END OF EJS Templates
Removing return value of restart_kernel....
Removing return value of restart_kernel. The kernel_id is *always* the same under a restart and there is no need to return it. The restart handler does pass the original kernel_id back to the browser as it currently uses it.
Brian E. Granger -
r9113:9bb3bea0
Show More
Name Size Modified Last Commit Author
/ ... / notebook / static / codemirror / lib / util
closetag.js Loading ...
dialog.css Loading ...
dialog.js Loading ...
foldcode.js Loading ...
formatting.js Loading ...
javascript-hint.js Loading ...
loadmode.js Loading ...
match-highlighter.js Loading ...
multiplex.js Loading ...
overlay.js Loading ...
pig-hint.js Loading ...
runmode.js Loading ...
search.js Loading ...
searchcursor.js Loading ...
simple-hint.css Loading ...
simple-hint.js Loading ...
xml-hint.js Loading ...