Update server.py

Options shouldn't be set directly, whoops.