Function getShell

src/tools/shell_session.js:321–324

(options)

let _instance = null;

function getShell(options) {
  if (!_instance) _instance = new ShellSession(options);
  return _instance;
}

function resetShell() {
  if (_instance) {