##// END OF EJS Templates
avoid race condition when deleting/starting sessions...
avoid race condition when deleting/starting sessions javascript doesn't guarantee the order of AJAX requests, so we give `Session.delete` and `Kernel.kill` a callback signature. Changing the kernel type calls `Notebook.start_kernel`, which terminates the previous session, if defined, before starting the new one. A flag is stored, to prevent multiple simultaneous attempts to start sessions, raising a SessionAlreadyStarting Error, preventing the spec_changed event from firing.

File last commit:

r11033:fa36e98f
r17649:fb1ac74c
Show More
override.css
7 lines | 347 B | text/css | CssLexer
/*This file contains any manual css for this page that needs to override the global styles.
This is only required when different pages style the same element differently. This is just
a hack to deal with our current css styles and no new styling should be added in this file.*/
#ipython-main-app {
margin: 50px auto;
text-align: center;
}