|
@@ -389,6 +389,7 @@ const initKernel = (workspace, lang) => {
|
|
server.close(() => resolve(port))
|
|
server.close(() => resolve(port))
|
|
}).listen(port, '127.0.0.1'))
|
|
}).listen(port, '127.0.0.1'))
|
|
}
|
|
}
|
|
|
|
+
|
|
kernelPort = await getAvailablePort()
|
|
kernelPort = await getAvailablePort()
|
|
writeLog('got kernel available port [' + kernelPort + ']')
|
|
writeLog('got kernel available port [' + kernelPort + ']')
|
|
return kernelPort
|
|
return kernelPort
|