More fiddling with server.py to make host and port work.