Parent Directory | Revision Log | Patch
revision 1.3 by tjl, Tue Sep 3 11:17:07 2002 UTC | revision 1.4 by benja, Wed Oct 9 08:53:27 2002 UTC | |
---|---|---|
# | Line 60 public static final String rcsid = "$Id$ | Line 60 public static final String rcsid = "$Id$ |
60 | public void update() { | public void update() { |
61 | synchronized(space) { | synchronized(space) { |
62 | Delta ch = space.checkpointDelta(); | Delta ch = space.checkpointDelta(); |
63 | space.applyDelta(ch); | //space.applyDelta(ch); |
64 | if(dbg) pa("Sending change: "); | if(dbg) pa("Sending change: "); |
65 | for(Iterator i = taps.iterator(); i.hasNext();) { | for(Iterator i = taps.iterator(); i.hasNext();) { |
66 | ((TapImpl)i.next()).changes.add(ch); | ((TapImpl)i.next()).changes.add(ch); |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |