4849505152535455565758
if (event.equals("disconnect") || server.getEditors().size() == 0){ try { ve.getConnection().close(); } catch (IOException e) { throw new VimException("could not close the vim connection", e); } plugin.stopVimServer(server.getID()); } }