labrepl and port 8080

[Manfred Lotz]

Hi,
In my case port 8080 is in use on my laptop because another application
runs on 8080.

Wouldn't it be a good idea to make the port 8080 the default and
provide an option to start script/repl with another port.

Then:

script/repl -h
could tell about the possibility to specify your own port

script/repl -port 4711
specify your own port

--
Manfred