55565758596061626364
public static void close(String pid) { if (pid!=null && portals.containsKey(pid)) { System.out.println("Portal.close("+pid+") "); Continuation c = portals.remove(pid); if (c!=null) c.exit(); } } }