##// END OF EJS Templates
allow session_id to be undefined when starting kernel channels
allow session_id to be undefined when starting kernel channels
MinRK -
r18307:06611a0f
Show More