35 |
public class JUpdateManager extends AbstractUpdateManager { |
public class JUpdateManager extends AbstractUpdateManager { |
36 |
public static final String rcsid = "$Id$"; |
public static final String rcsid = "$Id$"; |
37 |
private static boolean dbg = false; |
private static boolean dbg = false; |
|
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 |
|
|
40 |
public JUpdateManager(Runnable r) { super(r); } |
public JUpdateManager(Runnable r) { super(r); } |
79 |
|
|
80 |
private Thread t = new Thread(this); |
private Thread t = new Thread(this); |
81 |
{ |
{ |
82 |
p("STARTORDTHREAD"); |
if(dbg) pa("STARTORDTHREAD"); |
83 |
t.start(); |
t.start(); |
84 |
} |
} |
85 |
|
|
108 |
synchronized(ordering) { |
synchronized(ordering) { |
109 |
if(handleEvents_nohang()) return true; |
if(handleEvents_nohang()) return true; |
110 |
try { |
try { |
111 |
p("JUpdateManager: going to wait for next event"); |
if(dbg) pa("JUpdateManager: going to wait for next event"); |
112 |
// We wait on 'ordering' since that is also |
// We wait on 'ordering' since that is also |
113 |
// what is notified by AbstractUpdateManager.chg() |
// what is notified by AbstractUpdateManager.chg() |
114 |
ordering.wait(); |
ordering.wait(); |