Allow tidc to take a port number as an optional argument