gzz.mediaserver
Class IDCheckInputStream
java.lang.Object
|
+--java.io.InputStream
|
+--java.io.FilterInputStream
|
+--gzz.mediaserver.IDCheckInputStream
- public class IDCheckInputStream
- extends java.io.FilterInputStream
An InputStream that checks whether a given Mediaserver.Id matches.
When being closed, this throws an exception if the hash doesn't match.
Fields inherited from class java.io.FilterInputStream |
in |
Method Summary |
void |
close()
|
Methods inherited from class java.io.FilterInputStream |
available, mark, markSupported, read, read, read, reset, skip |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
IDCheckInputStream
public IDCheckInputStream(java.io.InputStream is,
byte[] hash)
IDCheckInputStream
public IDCheckInputStream(java.io.InputStream is,
byte[] idstart,
byte[] hash)
close
public void close()
throws java.io.IOException
- Overrides:
close
in class java.io.FilterInputStream
java.io.IOException