edu.emory.mathcs.util.natives
Interface ExecUtils.BrokenPipeHandler

Enclosing interface:
ExecUtils

public static interface ExecUtils.BrokenPipeHandler

User-specified IO exception handler for exceptions during I/O redirection.


Method Summary
 void brokenPipe(java.io.IOException e, java.io.InputStream src, java.io.OutputStream sink)
          Invoked when pipe is broken, that is, when I/O error occurs while reading from the source or writing to the sink
 

Method Detail

brokenPipe

public void brokenPipe(java.io.IOException e,
                       java.io.InputStream src,
                       java.io.OutputStream sink)
Invoked when pipe is broken, that is, when I/O error occurs while reading from the source or writing to the sink

Parameters:
e - the associated I/O exception
src - the source of the pipe
sink - the sink of the pipe