##// 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
/ ... / html / notebook / static / jquery / js
jquery-1.7.1.min.js Loading ...
jquery-ui.min.js Loading ...
jquery.autogrow.js Loading ...