|
||||||||||
| 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 | |||||||||