Racket: new option to specify network interface for REPL server
commit977335378247e8c7df0594fc300cb82c4ce6bbc7
authorJose Antonio Ortega Ruiz <jao@gnu.org>
Sat, 8 Sep 2012 17:24:10 +0000 (8 19:24 +0200)
committerJose Antonio Ortega Ruiz <jao@gnu.org>
Sat, 8 Sep 2012 17:24:10 +0000 (8 19:24 +0200)
tree35c9292bdf372cc596f3e7de9331a667a526a212
parent97f2fb5b47aaeec00cdcd1c6082e95c907eb3f62
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.
bin/geiser-racket.sh
doc/repl.texi
scheme/racket/geiser/user.rkt