209210211212213214215216217218219
ConnKey s = (ConnKey) conns.nextElement(); Connection conn = (Connection) connTable.get(s); Vector pullQ = conn.getPullQ(); synchronized (pullQ) { pullQ.notifyAll(); } } } }
598599600601602603604605606607608
switch (p.getPacketType()) { case CONN_ABORT_PACKET: removeConn = true; pullQ.insertElementAt(p, 0); // Let all threads find the CONN_ABORT_PACKET pullQ.notifyAll(); break; case CONN_SHUTDOWN: removeConn = true;
605606607608609610611612613614615
break; case CONN_SHUTDOWN: removeConn = true; pullQ.insertElementAt(p, 0); // Let all threads find the CONN_SHUTDOWN pullQ.notifyAll(); p = null; break; case CONN_OPTION_PACKET:
6465666768697071727374
JComponent child = new JComponent() { public void paint(Graphics g) { if(g.getClip() != null) { vars.add(g.getClip()); synchronized(vars) { vars.notifyAll(); } } } }; f.getContentPane().add(child);
150151152153154155156157158159160
for (int i=0; i < list.size(); i++) { r = (Resource) list.elementAt(i); if (r.getResource() == oldResource) { r.setResource(newResource); r.markAvailable(); list.notifyAll(); break; } } } }