setup __main__ so that port number can be changed