public class EnvironmentProperties.StreamPumper
extends java.lang.Object
implements java.lang.Runnable
Constructor and Description |
---|
EnvironmentProperties.StreamPumper(java.io.InputStream is,
java.io.OutputStream os)
Create a new stream pumper.
|
Modifier and Type | Method and Description |
---|---|
boolean |
isFinished()
Tells whether the end of the stream has been reached.
|
void |
run()
Copies data from the input stream to the output stream.
|
void |
waitFor()
This method blocks until the stream pumper finishes.
|
public EnvironmentProperties.StreamPumper(java.io.InputStream is, java.io.OutputStream os)
is
- input stream to read data fromos
- output stream to write data to.public void run()
run
in interface java.lang.Runnable
public boolean isFinished()
public void waitFor() throws java.lang.InterruptedException
java.lang.InterruptedException
isFinished()