Add an early failure case for portname matching.
This commit is contained in:
parent
30ea1afc58
commit
191f7a5f17
|
@ -47,6 +47,8 @@
|
||||||
(cond [(and good-portname-cache ; cache is populated
|
(cond [(and good-portname-cache ; cache is populated
|
||||||
(equal? path good-portname-cache))
|
(equal? path good-portname-cache))
|
||||||
#t]
|
#t]
|
||||||
|
[good-portname-cache ; cache is populated, but we have the wrong file
|
||||||
|
#f]
|
||||||
;; no cache, ask directly
|
;; no cache, ask directly
|
||||||
[(send this port-name-matches? path)
|
[(send this port-name-matches? path)
|
||||||
(set! good-portname-cache path) ; populate cache
|
(set! good-portname-cache path) ; populate cache
|
||||||
|
|
Loading…
Reference in New Issue
Block a user