Fix egregious old errors
This commit is contained in:
parent
f6edad972f
commit
9916caec32
|
@ -45,7 +45,7 @@
|
||||||
(on-presence
|
(on-presence
|
||||||
(maybe-spawn-socket 'publisher c active-handles #t tcp-connection-manager))
|
(maybe-spawn-socket 'publisher c active-handles #t tcp-connection-manager))
|
||||||
(on-absence (maybe-forget-socket 'publisher c active-handles)))))
|
(on-absence (maybe-forget-socket 'publisher c active-handles)))))
|
||||||
(observe-subscribers (tcp-channel any-handle any-remote (wild))
|
(observe-subscribers (tcp-channel any-remote any-handle (wild))
|
||||||
(match-state active-handles
|
(match-state active-handles
|
||||||
(match-conversation c
|
(match-conversation c
|
||||||
(on-presence
|
(on-presence
|
||||||
|
@ -75,7 +75,7 @@
|
||||||
(cond
|
(cond
|
||||||
[(ground? remote-addr) (transition active-handles)]
|
[(ground? remote-addr) (transition active-handles)]
|
||||||
[(not (ground? local-addr)) (transition active-handles)]
|
[(not (ground? local-addr)) (transition active-handles)]
|
||||||
[else (transition (set-remove active-handles local-addr))])]))
|
[else (transition (set-remove active-handles (cons local-addr remote-addr)))])]))
|
||||||
|
|
||||||
;; TcpAddress TcpAddress -> Transition
|
;; TcpAddress TcpAddress -> Transition
|
||||||
(define (tcp-listener-manager local-addr dummy-remote-addr)
|
(define (tcp-listener-manager local-addr dummy-remote-addr)
|
||||||
|
|
|
@ -129,7 +129,7 @@
|
||||||
(cond
|
(cond
|
||||||
[(ground? remote-addr) (transition active-handles)]
|
[(ground? remote-addr) (transition active-handles)]
|
||||||
[(not (ground? local-addr)) (transition active-handles)]
|
[(not (ground? local-addr)) (transition active-handles)]
|
||||||
[else (transition (set-remove active-handles local-addr))])]))
|
[else (transition (set-remove active-handles (cons local-addr remote-addr)))])]))
|
||||||
|
|
||||||
;; TcpAddress TcpAddress -> Transition
|
;; TcpAddress TcpAddress -> Transition
|
||||||
(define (tcp-listener-manager local-addr dummy-remote-addr)
|
(define (tcp-listener-manager local-addr dummy-remote-addr)
|
||||||
|
|
Loading…
Reference in New Issue