equal
deleted
inserted
replaced
2226 if ((end - start) < 500000000) |
2226 if ((end - start) < 500000000) |
2227 fail("Test failed: waitFor didn't take long enough"); |
2227 fail("Test failed: waitFor didn't take long enough"); |
2228 |
2228 |
2229 p.destroy(); |
2229 p.destroy(); |
2230 |
2230 |
2231 start = System.nanoTime(); |
|
2232 p.waitFor(1000, TimeUnit.MILLISECONDS); |
2231 p.waitFor(1000, TimeUnit.MILLISECONDS); |
2233 end = System.nanoTime(); |
|
2234 // allow for the less accurate default implementation |
|
2235 if ((end - start) > 200000000) |
|
2236 fail("Test failed: waitFor took too long on a dead process."); |
|
2237 } catch (Throwable t) { unexpected(t); } |
2232 } catch (Throwable t) { unexpected(t); } |
2238 } |
2233 } |
2239 |
2234 |
2240 static void closeStreams(Process p) { |
2235 static void closeStreams(Process p) { |
2241 try { |
2236 try { |