Rename #:monitor? to #:exit-signal? in spawn's arguments.

new-server.rkt

@@ -168,7 +168,7 @@
 	    (lambda (ignored-state) (ssh-reader local-addr remote-addr))
 	    ;; Finally, spawn the remaining processes and issue the initial credit to the reader.
 	    (spawn (ssh-writer local-addr remote-addr)
-		   #:monitor? #t
+		   #:exit-signal? #t
 		   #:debug-name 'ssh-writer)
 	    ;; (Wait for a cycle to let the reader and writer get
 	    ;; started, then tell the reader we are ready for a single
@@ -181,7 +181,7 @@
 				    remote-identification
 				    repl-boot
 				    'server)
-		       #:monitor? #t
+		       #:exit-signal? #t
 		       #:debug-name 'ssh-session))))]))))
 
   (define (exn->outbound-packet reason)
@@ -198,7 +198,7 @@
     ;; several times in a row because of multiple flows intersecting
     ;; this role, we have to be careful to make the transmission of
     ;; the disconnection packet idempotent.
-    ;; TODO: this is likely no longer true now we're using monitors %%%
+    ;; TODO: this is likely no longer true now we're using exit-signals %%%
     (define interesting? (disconnect-message-required? reason))
     (transition inert-exception-handler
       (when interesting? (send-message (exn->outbound-packet reason)))
@@ -226,11 +226,11 @@
        (at-meta-level (send-tcp-credit remote-addr local-addr 1))
 
        (spawn (read-handshake-and-become-reader)
-	      #:monitor? #t
+	      #:exit-signal? #t
 	      #:debug-name 'ssh-reader)
 
        (spawn (transition active-exception-handler
-		(role 'monitor-listener (topic-subscriber (monitor (wild) (wild)))
+		(role 'exit-signal-listener (topic-subscriber (exit-signal (wild) (wild)))
 		  #:state current-handler
 		  #:reason reason
 		  #:on-absence (current-handler reason))))))))

ssh-session.rkt

@@ -867,7 +867,7 @@
 			     #f)
 
        (spawn (nested-vm 'ssh-application-vm application-boot)
-	      #:monitor? #t
+	      #:exit-signal? #t
 	      #:debug-name 'ssh-application-vm)
 
        (role 'rekey-waiter (topic-subscriber (timer-expired 'rekey-timer (wild)))