Merge pull request #714 from cs136/master

Merge master into stable (fix failing seashell-cli test)
cs136 · Mar 22, 2017 · e4aa2e5 · e4aa2e5
2 parents b2c95c7 + 0fc7324
commit e4aa2e5
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/collects/seashell-cli.rkt b/src/collects/seashell-cli.rkt
@@ -75,7 +75,7 @@
       (define stdout (program-stdout pid))
       (define run-result (sync/timeout 0 (wrap-evt stdout (compose deserialize read))))
       (match run-result
-       [(and result (list pid _ (and test-res (or "timeout" "killed" "passed")) stdout stderr))
+       [(and result (list pid _ (and test-res (or "killed" "passed")) stdout stderr))
         (eprintf "Program passed the test.\n")
         (write-outputs stdout stderr #f)
         (exit 40)]
@@ -93,7 +93,7 @@
         (eprintf "Test failed the test (but did not crash)~n")
         (write-outputs stdout stderr asan)
         (exit 30)]
-       [(list pid _ "timeout")
+       [(or (list pid _ "timeout") (list pid _ "timeout" _ _))
         (eprintf "Test timed out (but did not crash)~n")
         (exit 50)]
        [x