|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
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 |
public void brokenPipe(java.io.IOException e, java.io.InputStream src, java.io.OutputStream sink)
e
- the associated I/O exceptionsrc
- the source of the pipesink
- the sink of the pipe
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |