Added command line argument to change server port.