# HG changeset patch
# User Tom Rodriguez <tom.rodriguez@oracle.com>
# Date 1394750280 25200
# Node ID e754ac1331ef16989775ef7bae435a46acc75346
# Parent  41ecd18552b2231bf5e5eadfb68ac379bbeae96c
fix string contains call

diff -r 41ecd18552b2 -r e754ac1331ef mx/mx_graal.py
--- 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