2015-06-06 21:15:43 +00:00
|
|
|
#lang prospect
|
|
|
|
|
|
|
|
(require "../drivers/websocket.rkt")
|
|
|
|
(require "../demand-matcher.rkt")
|
|
|
|
|
|
|
|
(spawn-websocket-driver)
|
|
|
|
|
|
|
|
(define any-client (websocket-remote-client ?))
|
|
|
|
(define server-id (websocket-local-server 8081 (websocket-ssl-options "server-cert.pem"
|
|
|
|
"private-key.pem")))
|
|
|
|
|
|
|
|
(define (spawn-connection-handler c)
|
|
|
|
(log-info "spawn-connection-handler ~v" c)
|
|
|
|
(define (connection-handler e n)
|
|
|
|
(when e (log-info "connection-handler ~v: ~v /// ~v" c e n))
|
|
|
|
(match e
|
|
|
|
[(? patch/removed?) (quit)]
|
|
|
|
[_
|
|
|
|
(if (< n 20)
|
|
|
|
(transition (+ n 1) (message (websocket-message server-id c (format "msg ~v" n))))
|
|
|
|
#f)]))
|
|
|
|
(spawn connection-handler
|
|
|
|
0
|
2015-12-03 20:53:07 +00:00
|
|
|
(patch-seq (sub (advertise (websocket-message c server-id ?)))
|
|
|
|
(sub (websocket-message c server-id ?))
|
|
|
|
(pub (websocket-message server-id c ?)))))
|
2015-06-06 21:15:43 +00:00
|
|
|
|
|
|
|
(spawn-demand-matcher (advertise (websocket-message (?! any-client) server-id ?))
|
|
|
|
(observe (websocket-message (?! any-client) server-id ?))
|
|
|
|
spawn-connection-handler
|
|
|
|
(lambda (c)
|
|
|
|
(log-info "Connection handler ~v decided to exit" c)
|
|
|
|
'()))
|