--- jstools-orig.js	Thu May 24 20:58:03 2007
+++ jstools.js	Thu May 24 21:00:05 2007
@@ -71,22 +71,16 @@ Drupal.getPath = function (href) {
   return href;
 }
 
 /**
  * Add a segment to the beginning of a path.
  */
 Drupal.prependPath = function (href, segment) {
   href = Drupal.pathPortion(href);
-  // Remove e.g. http://example.com if present.
-  var protocol = window.location.protocol;
-  if (href.substring(0, protocol.length) == protocol) {
-    // 2 is the length of the '//' that normally follows the protocol
-    href = href.substring(href.indexOf('/', protocol.length + 2));
-  }
   // 3 is the length of the '?q=' added to the url without clean urls.
   var baseLength = Drupal.settings.jstools.basePath.length + (Drupal.settings.jstools.cleanurls ? 0 : 3);
   var base = href.substring(0, baseLength);
   return base + segment + '/' + href.substring(baseLength, href.length);
 }
 
 /**
  * Strip off the protocol plus domain from an href.