in gshell-support/gshell-io/src/main/java/org/apache/geronimo/gshell/io/PumpStreamHandler.java [138:162]
public void stop() {
if (outputThread != null) {
try {
outputThread.join();
}
catch (InterruptedException e) {
// ignore
}
}
if (errorThread != null) {
try {
errorThread.join();
}
catch (InterruptedException e) {
// ignore
}
}
if (inputPump != null) {
inputPump.stop();
}
Flusher.flush(err, out);
}