public void exit() { if (pep != null) { pep.shutdownKernel(); pep = null; } if (clientServer != null) { clientServer.shutdown(); clientServer = null; } if (pythonProcess != null) { pythonProcess.destroy(); pythonProcess = null; } }
@Override public void onShutdown() { // Reversed order of killing the script process. if (!isPythonScriptBeforeStartup()) { killPythonScript(); } if (server != null) { server.shutdown(); } if (isPythonScriptBeforeStartup()) { killPythonScript(); } }