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.
parent
82f4cf5574
commit
ac1a8b0458
Loading…
Reference in new issue