internal static void delPort(Session session, String address, int lport) { PortWatcher pw = getPort(session, address, lport); if (pw == null) { throw new JSchException("PortForwardingL: local port " + address + ":" + lport + " is not registered."); } pw.delete(); pool.removeElement(pw); }
internal static void delPort(Session session) { lock (pool) { PortWatcher[] foo = new PortWatcher[pool.size()]; int count = 0; for (int i = 0; i < pool.size(); i++) { PortWatcher p = (PortWatcher)(pool.elementAt(i)); if (p.session == session) { p.delete(); foo[count++] = p; } } for (int i = 0; i < count; i++) { PortWatcher p = foo[i]; pool.removeElement(p); } } }