String getVersionName() { String nm = python_interpreter.getPythonVersion().toString(); if (nm.startsWith("VERSION_")) nm = nm.substring(8); nm = nm.replace("_", "."); return "python " + nm; }
PybaseVersion getVersion() { return python_interpreter.getPythonVersion(); }