diff options
| author | Sudarshan S Chawathe <chaw@eip10.org> | 2017-09-02 19:18:45 -0400 |
|---|---|---|
| committer | David Thompson <dthompson2@worcester.edu> | 2017-09-03 15:05:05 -0400 |
| commit | 829ee49c2d5c13e3f8a6fc34bdd39f999efbaffe (patch) | |
| tree | 70fa2d8be8a8763d37371952474c92648333a837 /website/manual/Installation.html | |
| parent | 9e4fba766d070a2dd72b7180c1a040d4621218b8 (diff) | |
Don't ignore a specified non-default port in 'haunt serve'.
Without this patch 'haunt serve' claims to use the specified
non-default port, but in fact uses the default 8080 instead.
Diffstat (limited to 'website/manual/Installation.html')
0 files changed, 0 insertions, 0 deletions