http-port argument added to dtc_http_server.pl