Commit Graph

2 Commits (2dfd4079ecc4ccc06cb360b5312a9046e9a1a28f)

Author SHA1 Message Date
MinRK e3696996be JS: close WebSockets when killing kernels
12 years ago
Jonathan Frederic 94a7a7fd3a Whoops, put kernel.js in the wrong folder
12 years ago