--- common.inc	2005-03-28 18:27:01.000000000 +0200
+++ common.inc	2005-04-02 01:46:34.000000000 +0200
@@ -1463,6 +1474,10 @@ function url($path = NULL, $query = NULL
 
   static $script;
 
+  if (substr(strtolower($path), 0, 4) == 'http') {
+    return $path;
+  }
+
   if (empty($script)) {
     // On some web servers, such as IIS, we can't omit "index.php".  So, we
     // generate "index.php?q=foo" instead of "?q=foo" on anything that is not