Parent Directory | Revision Log | 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; |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |