diff mx/mx_graal.py @ 14590:e754ac1331ef

fix string contains call
author Tom Rodriguez <tom.rodriguez@oracle.com>
date Thu, 13 Mar 2014 15:38:00 -0700
parents 10e07aaeb54f
children ff2095ec7bdb
line wrap: on
line diff
--- a/mx/mx_graal.py	Thu Mar 13 21:16:57 2014 +0100
+++ b/mx/mx_graal.py	Thu Mar 13 15:38:00 2014 -0700
@@ -1175,7 +1175,7 @@
         env = os.environ
         proxy = os.environ.get('http_proxy')
         if not (proxy is None) and len(proxy) > 0:
-            if proxy.contains('://'):
+            if '://' in proxy:
                 # Remove the http:// prefix (or any other protocol prefix)
                 proxy = proxy.split('://', 1)[1]
             # Separate proxy server name and port number