dk.statsbiblioteket.doms.summa.oai
Class Client.MonitoredInputStream

java.lang.Object
  extended by java.io.InputStream
      extended by java.io.FilterInputStream
          extended by java.io.BufferedInputStream
              extended by dk.statsbiblioteket.doms.summa.oai.Client.MonitoredInputStream
All Implemented Interfaces:
java.io.Closeable
Enclosing class:
Client

private class Client.MonitoredInputStream
extends java.io.BufferedInputStream

A special input stream that disconnects an underlying HttpURLConnection when closed. Used to wrap input streams of Response objects.


Field Summary
private  java.net.HttpURLConnection con
           
 
Fields inherited from class java.io.BufferedInputStream
buf, count, marklimit, markpos, pos
 
Fields inherited from class java.io.FilterInputStream
in
 
Constructor Summary
Client.MonitoredInputStream(java.net.HttpURLConnection connection)
           
 
Method Summary
 void close()
           
 
Methods inherited from class java.io.BufferedInputStream
available, mark, markSupported, read, read, reset, skip
 
Methods inherited from class java.io.FilterInputStream
read
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

con

private java.net.HttpURLConnection con
Constructor Detail

Client.MonitoredInputStream

public Client.MonitoredInputStream(java.net.HttpURLConnection connection)
                            throws java.io.IOException
Throws:
java.io.IOException
Method Detail

close

public void close()
           throws java.io.IOException
Specified by:
close in interface java.io.Closeable
Overrides:
close in class java.io.BufferedInputStream
Throws:
java.io.IOException