gzz.mediaserver
Class MediaserverFiler
java.lang.Object
|
+--gzz.mediaserver.MediaserverFiler
- All Implemented Interfaces:
- Filer
- public class MediaserverFiler
- extends java.lang.Object
- implements Filer
Nested classes inherited from class gzz.util.Filer |
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
dbg
public static boolean dbg
versionContentType
public static final java.lang.String versionContentType
- See Also:
- Constant Field Values
diffContentType
public static final java.lang.String diffContentType
- See Also:
- Constant Field Values
MediaserverFiler
public MediaserverFiler(Mediaserver ms,
java.lang.String pointer,
Version emptyVersion,
VersionFormat fmt)
throws java.io.IOException
load
public Version load()
throws java.io.IOException
- Description copied from interface:
Filer
- Load the current version stored in this filer.
- Specified by:
load
in interface Filer
java.io.IOException
load
protected Version load(Mediaserver.Id id,
java.lang.String[] hdr)
throws java.io.IOException
java.io.IOException
getVersionId
protected Mediaserver.Id getVersionId(Version v,
java.lang.String header)
throws java.io.IOException
java.io.IOException
save
public void save(Version v)
throws java.io.IOException
- Description copied from interface:
Filer
- Save a version into this filer.
- Specified by:
save
in interface Filer
java.io.IOException