--- common.inc	2005-03-28 18:27:01.000000000 +0200
+++ common.inc	2005-04-02 03:01:24.000000000 +0200
@@ -1463,6 +1474,13 @@ function url($path = NULL, $query = NULL
 
   static $script;
 
+  // Check for external URLs.
+  $delim = strpos($path, ':');
+  $slash = strpos($path, '/');
+  if ($delim && ($delim < $slash || !$slash && $delim < strpos($path, '@'))) {
+    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