Parent Directory | Revision Log | Patch
revision 1.2 by tjl, Tue Sep 3 10:14:11 2002 UTC | revision 1.3 by tjl, Tue Sep 3 11:17:07 2002 UTC | |
---|---|---|
# | Line 61 public static final String rcsid = "$Id$ | Line 61 public static final String rcsid = "$Id$ |
61 | synchronized(space) { | synchronized(space) { |
62 | Delta ch = space.checkpointDelta(); | Delta ch = space.checkpointDelta(); |
63 | space.applyDelta(ch); | space.applyDelta(ch); |
64 | p("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); |
67 | } | } |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |