www.google.com is better than google.com.

diff --git a/Tools/scripts/google.py b/Tools/scripts/google.py
index 3ca5f6eb2b68f546f3344e573ae4cd7b657f2d6e..d9fe0acb183286e51b655b2783813e69bf6ac6a8 100755 (executable)
--- a/Tools/scripts/google.py
+++ b/Tools/scripts/google.py
@@ -16,7 +16,7 @@ def main():
         arg = arg.replace(' ', '+')
         list.append(arg)
     s = '+'.join(list)
-    url = "http://google.com/search?q=%s" % s
+    url = "http://www.google.com/search?q=%s" % s
     webbrowser.open(url)
 
 main()