51525354555657585960
ve.getConnection().close(); } catch (IOException e) { throw new VimException("could not close the vim connection", e); } plugin.stopVimServer(server.getID()); } } } }
488489490491492493494495496497498
try { VimConnection vc = server.getVc(); if (vc != null){ server.getVc().function(bufferID, "saveAndExit", ""); } plugin.stopVimServer(serverID); } catch (IOException e) { message(plugin.getMessage("server.stop.failed"), e); } } }