diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2012-09-08 19:24:10 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2012-09-08 19:24:10 +0200 |
| commit | 977335378247e8c7df0594fc300cb82c4ce6bbc7 (patch) | |
| tree | 35c9292bdf372cc596f3e7de9331a667a526a212 /bin/geiser-racket.sh | |
| parent | 97f2fb5b47aaeec00cdcd1c6082e95c907eb3f62 (diff) | |
| download | geiser-chez-977335378247e8c7df0594fc300cb82c4ce6bbc7.tar.gz geiser-chez-977335378247e8c7df0594fc300cb82c4ce6bbc7.tar.bz2 | |
Racket: new option to specify network interface for REPL server
In geiser-racket.sh, there's the new option -n, which uses a new
hostname argument accepted by geiser/user's start-geiser function.
Diffstat (limited to 'bin/geiser-racket.sh')
| -rwxr-xr-x | bin/geiser-racket.sh | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/bin/geiser-racket.sh b/bin/geiser-racket.sh index 5fdfffe..b3d96e9 100755 --- a/bin/geiser-racket.sh +++ b/bin/geiser-racket.sh @@ -9,11 +9,13 @@ exec racket -i -S "$top/racket" -l errortrace -cu "$0" ${1+"$@"} (require (lib "cmdline.rkt")) (define port (make-parameter 0)) +(define host (make-parameter #f (lambda (h) (and (string? h) h)))) (command-line "run-racket.sh" (current-command-line-arguments) (once-each + (("-n" "--hostname") n "Network hostname, or #f for all interfaces" (host n)) (("-p" "--port") p "Geiser server port" (port (string->number p))))) (printf "Geiser server running at port ~a~%" - ((dynamic-require 'geiser/server 'start-geiser) (port))) + ((dynamic-require 'geiser/server 'start-geiser) (port) (host))) |