public static void delPort(Session session) { lock (pool) { PortWatcher[] foo = new PortWatcher[pool.Count]; int count = 0; for (int i = 0; i < pool.Count; i++) { PortWatcher p = (PortWatcher)(pool[i]); if (p.session == session) { p.Delete(); foo[count++] = p; } } for (int i = 0; i < count; i++) { PortWatcher p = foo[i]; pool.Remove(p); } } }
public 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.Remove(pw); }