diff options
| author | 2017-08-22 17:52:42 +0000 | |
|---|---|---|
| committer | 2017-08-22 17:52:42 +0000 | |
| commit | 4d545f2e70f9bbd355ca364d5b940e51f37b20ba (patch) | |
| tree | de4a0126035fd0653ddb813609b043fec32e75bf | |
| parent | 437130bbee51ec467471ca7c745669b6855136d5 (diff) | |
| parent | ef7b9b810f66118aa37442b8bc87b83cf27c590c (diff) | |
Merge "Shorten sleep for racy run-test 063."
| -rw-r--r-- | test/063-process-manager/src/Main.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/063-process-manager/src/Main.java b/test/063-process-manager/src/Main.java index 311c4e74f7..e31a0df053 100644 --- a/test/063-process-manager/src/Main.java +++ b/test/063-process-manager/src/Main.java @@ -16,7 +16,7 @@ public class Main { System.out.println("spawning child"); ProcessBuilder pb = new ProcessBuilder("sleep", "5"); Process proc = pb.start(); - Thread.sleep(2000); + Thread.sleep(250); checkManager(); proc.waitFor(); System.out.println("child died"); |