diff --git a/new-server.rkt b/new-server.rkt index 386cbee..31f3561 100644 --- a/new-server.rkt +++ b/new-server.rkt @@ -3,6 +3,7 @@ (require racket/set) (require racket/match) +(require racket/contract) (require "ssh-numbers.rkt") (require "ssh-transport.rkt") @@ -21,7 +22,7 @@ ;; PAPER NOTE: remove #:debug-name for presentation economy (spawn tcp-driver #:debug-name 'tcp-driver) (spawn tcp-spy #:debug-name 'tcp-spy) - (spawn listener)))) + (spawn listener #:debug-name 'ssh-tcp-listener)))) (define listener (transition 'no-state