From d2af6bf52e5b9206846d631802fc0b6702614dd8 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Fri, 17 Feb 2012 16:09:54 -0500 Subject: [PATCH] Reindent --- driver.rkt | 36 ++++++++++++++++++------------------ 1 file changed, 18 insertions(+), 18 deletions(-) diff --git a/driver.rkt b/driver.rkt index 1569875..45339d2 100644 --- a/driver.rkt +++ b/driver.rkt @@ -40,29 +40,29 @@ (define boot-server (os-big-bang 'no-state - (send-meta-message `(request create-server-socket (udp new ,port-number 512))) - (subscribe/fresh wait-id - (meta-message-handlers w - [`(reply create-server-socket ,s) - (transition w - (unsubscribe wait-id) - (spawn (dns-read-driver s)) - (spawn (dns-write-driver s)) - (subscribe 'packet-handler (packet-handler s)))])))) + (send-meta-message `(request create-server-socket (udp new ,port-number 512))) + (subscribe/fresh wait-id + (meta-message-handlers w + [`(reply create-server-socket ,s) + (transition w + (unsubscribe wait-id) + (spawn (dns-read-driver s)) + (spawn (dns-write-driver s)) + (subscribe 'packet-handler (packet-handler s)))])))) (define (packet-handler s) (message-handlers old-state - [(? bad-dns-packet? p) - (pretty-print p) ;; TODO: perhaps use metalevel events? perhaps don't bother though - old-state] - [(? dns-request? r) - (transition old-state - (map send-message - (handle-request soa-rr zone r)))])) + [(? bad-dns-packet? p) + (pretty-print p) ;; TODO: perhaps use metalevel events? perhaps don't bother though + old-state] + [(? dns-request? r) + (transition old-state + (map send-message + (handle-request soa-rr zone r)))])) (ground-vm (os-big-bang (void) - (spawn udp-driver) - (spawn (nested-vm boot-server))))) + (spawn udp-driver) + (spawn (nested-vm boot-server))))) (define (handle-request soa-rr zone request) (match-define (dns-request request-message request-source request-sink) request)