/[gzz]/gzz/gzz/view/DefaultBinder.java
ViewVC logotype

Diff of /gzz/gzz/view/DefaultBinder.java

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1.1 by benja, Wed Oct 2 18:40:43 2002 UTC revision 1.2 by benja, Thu Oct 3 12:53:58 2002 UTC
# Line 174  public static final String rcsid = "$Id$ Line 174  public static final String rcsid = "$Id$
174              try {              try {
175                  gzz.slices.SliceSpace sp = (gzz.slices.SliceSpace)fallback.space;                  gzz.slices.SliceSpace sp = (gzz.slices.SliceSpace)fallback.space;
176                  fallback.filers.saveAll(sp.getSlicer().exportAll());                  fallback.filers.saveAll(sp.getSlicer().exportAll());
177                    sp = (gzz.slices.SliceSpace)fallback.linkSpace;
178                    fallback.filers.saveAll(sp.getSlicer().exportAll());
179                  pa("Saved."); // I guess this is worth letting through                  pa("Saved."); // I guess this is worth letting through
180                  return true;                  return true;
181              } catch(IOException e) {              } catch(IOException e) {

Legend:
Removed from v.1.1  
changed lines
  Added in v.1.2

savannah-hackers-public@gnu.org
ViewVC Help
Powered by ViewVC 1.1.26