# HG changeset patch
# User wenzelm
# Date 1294506070 -3600
# Node ID fe4f0d9f9dbb512df1d709eaaec7c596e09a4618
# Parent  60d0912404851f5f812f1a169f0bd4951388a876
updated NEOS_SERVER, which is now provided via settings;

diff -r 60d091240485 -r fe4f0d9f9dbb src/HOL/Library/Sum_of_Squares/etc/settings
--- a/src/HOL/Library/Sum_of_Squares/etc/settings	Sat Jan 08 17:39:51 2011 +0100
+++ b/src/HOL/Library/Sum_of_Squares/etc/settings	Sat Jan 08 18:01:10 2011 +0100
@@ -1,3 +1,5 @@
 # -*- shell-script -*- :mode=shellscript:
 
 ISABELLE_SUM_OF_SQUARES="$COMPONENT"
+NEOS_SERVER="http://neos-server.org:3332"
+
diff -r 60d091240485 -r fe4f0d9f9dbb src/HOL/Library/Sum_of_Squares/neos_csdp_client
--- a/src/HOL/Library/Sum_of_Squares/neos_csdp_client	Sat Jan 08 17:39:51 2011 +0100
+++ b/src/HOL/Library/Sum_of_Squares/neos_csdp_client	Sat Jan 08 18:01:10 2011 +0100
@@ -4,12 +4,10 @@
 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 = ""