286287288289290291292293294295296
result = p.waitFor(); // Wait for the end of output and error streams outPump.waitFor(); outLog.close(); errPump.waitFor(); errLog.close(); } catch (InterruptedException ie) { log("Thread interrupted: " + ie); }
314315316317318319320321322323324
258259260261262263264265266267268
256257258259260261262263264265266
260261262263264265266267268269270
290291292293294295296297298299300
291292293294295296297298299300301
292293294295296297298299300301302
287288289290291292293294295296297