--- ajax.module	2009-07-20 22:42:50.000000000 +0100
+++ ajax_NEW.module	2009-07-20 22:43:13.000000000 +0100
@@ -276,6 +276,11 @@ function ajax_build_url($u) {
     $out .= '@';
   }
   $out .= $u['host'];
+  
+  if (!empty($u['port'])) {
+     $out .= ':' . $u['port'];
+  }
+  
   $out .= $u['path'];
   if (!empty($u['query'])) {
     $out .= '?';