##// 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.

File last commit:

r6192:a53b1a9f
r9113:9bb3bea0
Show More
logout.css
7 lines | 76 B | text/css | CssLexer
#main_app {
height: 100px;
width: 200px;
margin: 50px auto;
}