You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

MinRK d5a4553b8e improve indicators and handling of dead kernels and broken websocket connections ... I think it's still possible to get to a state with no kernel and insufficient indication. Imperfect, but an improvement.		12 years ago
..
comm.js	bad call and missing call to unregister_comm	12 years ago
kernel.js	improve indicators and handling of dead kernels and broken websocket connections	12 years ago