33 |
|
|
34 |
public class JUpdateManager extends AbstractUpdateManager { |
public class JUpdateManager extends AbstractUpdateManager { |
35 |
public static final String rcsid = "$Id$"; |
public static final String rcsid = "$Id$"; |
36 |
private static boolean dbg = true; |
private static boolean dbg = false; |
37 |
private static void p(String s) { if(dbg) pa(s); } |
private static void p(String s) { if(dbg) pa(s); } |
38 |
private static void pa(String s) { System.err.println(s); } |
private static void pa(String s) { System.err.println(s); } |
39 |
|
|
54 |
eventList.add(proc); |
eventList.add(proc); |
55 |
eventList.add(e); |
eventList.add(e); |
56 |
eventList.notifyAll(); |
eventList.notifyAll(); |
57 |
|
if(dbg) pa("Queue "+e+"; listlen="+eventList.size()); |
58 |
} |
} |
59 |
} |
} |
60 |
|
|
93 |
evt = (AWTEvent)eventList.get(1); |
evt = (AWTEvent)eventList.get(1); |
94 |
eventList.remove(1); |
eventList.remove(1); |
95 |
eventList.remove(0); |
eventList.remove(0); |
96 |
|
if(dbg) pa("Unqueue "+evt+"; listlen="+eventList.size()); |
97 |
} |
} |
98 |
proc.zzProcessEvent(evt); |
proc.zzProcessEvent(evt); |
99 |
// XXX wait... |
// XXX wait... |