allow user to specify http port

default is still 8080