modified server.py to accept port argument