btremThat might be nice. As it is, I got the error message: "Port 8080 is in use by another program. Either identify and stop that program, or start the server with a different port." But no indication of *how* to start the server with a different port.
