public class EnvironmentProperties.PumpStreamHandler
extends java.lang.Object
Constructor and Description |
---|
EnvironmentProperties.PumpStreamHandler() |
EnvironmentProperties.PumpStreamHandler(java.io.OutputStream outAndErr) |
EnvironmentProperties.PumpStreamHandler(java.io.OutputStream out,
java.io.OutputStream err) |
Modifier and Type | Method and Description |
---|---|
protected void |
createProcessErrorPump(java.io.InputStream is,
java.io.OutputStream os) |
protected void |
createProcessOutputPump(java.io.InputStream is,
java.io.OutputStream os) |
protected java.lang.Thread |
createPump(java.io.InputStream is,
java.io.OutputStream os)
Creates a stream pumper to copy the given input stream to the
given output stream.
|
protected java.io.OutputStream |
getErr() |
protected java.io.OutputStream |
getOut() |
void |
setProcessErrorStream(java.io.InputStream is) |
void |
setProcessInputStream(java.io.OutputStream os) |
void |
setProcessOutputStream(java.io.InputStream is) |
void |
start() |
void |
stop() |
public EnvironmentProperties.PumpStreamHandler(java.io.OutputStream out, java.io.OutputStream err)
public EnvironmentProperties.PumpStreamHandler(java.io.OutputStream outAndErr)
public EnvironmentProperties.PumpStreamHandler()
public void setProcessOutputStream(java.io.InputStream is)
public void setProcessErrorStream(java.io.InputStream is)
public void setProcessInputStream(java.io.OutputStream os)
public void start()
public void stop()
protected java.io.OutputStream getErr()
protected java.io.OutputStream getOut()
protected void createProcessOutputPump(java.io.InputStream is, java.io.OutputStream os)
protected void createProcessErrorPump(java.io.InputStream is, java.io.OutputStream os)
protected java.lang.Thread createPump(java.io.InputStream is, java.io.OutputStream os)