example: make server port in simple-http-server configurable