From 93b1b0fcf3c1a1d2dd3d35b10aa80f59df77cf60 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Thu, 19 Jun 2014 22:36:14 -0400 Subject: [PATCH] Convenient default routing tables per host --- main.rkt | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) diff --git a/main.rkt b/main.rkt index 1831169..b1896f5 100644 --- a/main.rkt +++ b/main.rkt @@ -2,6 +2,7 @@ (require minimart/demand-matcher) (require minimart/drivers/timer) +(require (only-in mzlib/os gethostname)) (require "configuration.rkt") (require "ethernet.rkt") (require "arp.rkt") @@ -20,9 +21,16 @@ (spawn (lambda (e s) #f) (void) - (gestalt-union (pub (host-route (bytes 129 10 115 94) 24 "eth0")) - (pub (host-route (bytes 192 168 56 222) 24 "vboxnet0")) - (pub (net-route (bytes 0 0 0 0) 0 (bytes 129 10 115 1))))) + (match (gethostname) + ["hop" + (gestalt-union (pub (net-route (bytes 0 0 0 0) 0 (bytes 192 168 1 1))) + (pub (host-route (bytes 192 168 1 222) 24 "wlan0")))] + ["stockholm.ccs.neu.edu" + (gestalt-union (pub (host-route (bytes 129 10 115 94) 24 "eth0")) + (pub (host-route (bytes 192 168 56 222) 24 "vboxnet0")) + (pub (net-route (bytes 0 0 0 0) 0 (bytes 129 10 115 1))))] + [else + (error 'stack-configuration "No setup for hostname ~a" (gethostname))])) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;