OutBuffer b = p.getOutputBuffer();
//log.debug("[shell-impl] ********* closing " + b);
log.debug("closing output " + b);
// closeAndDiscard explicitly tells OutBuffer that nothing will
// be read from it any more. Not even what it may still have inside.
b.closeAndDiscard();
} else {
throw new ShellIOException(new ShellException("Wrong stream id: " + streamid));
}
}