diff --git a/rse/plugins/org.eclipse.rse.services.dstore/miners/org/eclipse/rse/internal/dstore/universal/miners/command/CommandMinerThread.java b/rse/plugins/org.eclipse.rse.services.dstore/miners/org/eclipse/rse/internal/dstore/universal/miners/command/CommandMinerThread.java index 990a9fa131c..93d285abb30 100644 --- a/rse/plugins/org.eclipse.rse.services.dstore/miners/org/eclipse/rse/internal/dstore/universal/miners/command/CommandMinerThread.java +++ b/rse/plugins/org.eclipse.rse.services.dstore/miners/org/eclipse/rse/internal/dstore/universal/miners/command/CommandMinerThread.java @@ -850,6 +850,20 @@ public class CommandMinerThread extends MinerThread if (_isShell) { sendInput("exit"); //$NON-NLS-1$ + + // in case exit doesn't end it + try + { + Thread.sleep(1000); + } + catch (Exception e) + { + + } + if (_stdOutputHandler.isAlive()) + { + _theProcess.destroy(); + } } }