src/HOL/Library/Sum_of_Squares/neos_csdp_client

 import sys
 import signal
 import xmlrpclib
 import time
 import re
+import os
 
 # Neos server config
-NEOS_HOST="neos.mcs.anl.gov"
-NEOS_PORT=3332
-
-neos=xmlrpclib.Server("http://%s:%d" % (NEOS_HOST, NEOS_PORT))
+neos = xmlrpclib.Server(os.getenv("NEOS_SERVER"))
 
 jobNumber = 0
 password = ""
 inputfile = None
 outputfile = None