##// END OF EJS Templates
allow kernel_name to be undefined in js...
allow kernel_name to be undefined in js Falls back to KM.default_kernel_name, as configured server-side.
MinRK -
r18032:bed6b8ed
Show More