/[gzz]/gzz/gzz/mediaserver/MediaserverFiler.java
ViewVC logotype

Diff of /gzz/gzz/mediaserver/MediaserverFiler.java

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

revision 1.8 by benja, Sun Sep 29 17:09:28 2002 UTC revision 1.9 by benja, Tue Oct 1 13:06:10 2002 UTC
# Line 113  public class MediaserverFiler implements Line 113  public class MediaserverFiler implements
113                  Version v = diff.applyTo(from);                  Version v = diff.applyTo(from);
114    
115                  if(!id.equals(getVersionId(v, headerTo)))                  if(!id.equals(getVersionId(v, headerTo)))
116                      throw new IOException("Version doesn't match: "+v);                      throw new IOException("Version doesn't match: "+v+"\n"+
117                            "Wanted id =      "+id+"\n"+
118                            "Regenerated id = "+getVersionId(v, headerTo)+"\n"+
119                            "Using diff: "+diffId+"\n");
120    
121                  if(hdr != null)                  if(hdr != null)
122                      hdr[0] = headerTo;                      hdr[0] = headerTo;

Legend:
Removed from v.1.8  
changed lines
  Added in v.1.9

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