fix default timeout

This commit is contained in:
Spencer Florence 2015-05-25 18:59:55 -05:00 committed by Matthew Flatt
parent 4a82b01845
commit 2de9cf42eb

View File

@ -861,7 +861,7 @@
(define (get-timeout p)
;; assumes `(check-info p)` has been called and `p` is normalized
(hash-ref timeouts p +inf.0))
(hash-ref timeouts p (or default-timeout +inf.0)))
(define (get-lock-name p)
;; assumes `(check-info p)` has been called and `p` is normalized