--- common.inc	2005-03-28 18:27:01.000000000 +0200
+++ common.inc	2005-04-02 03:12:25.000000000 +0200
@@ -1463,6 +1474,11 @@ function url($path = NULL, $query = NULL
 
   static $script;
 
+  // Check for external URLs.
+  if (preg_match('#^mailto:|[^/]+:.*/#i', $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