Delete option_server.py