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);
}
