dstore shell termination in case exit fails (this is required when a long running process under the shell isn't finished when the user tries to exit the shell)

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();
+	        }
 	    }
 	}