Ports as command line parameters

Question

Closed this issue 6 years ago · 3 comments

There are legit cases where we'd want a custom port for the web server (instead of 8888) and for the shell server (instead of 9999)

Answer 1 · 2019-03-07T09:03:34.000Z

I can write the code and make a PR. How about names -port and -shellport?

Answer 2 · 2019-03-12T11:05:45.000Z

Excellent!

Answer 3 · 2019-03-13T10:51:26.000Z

Fixed by #14