   if (key.charAt(0) == "/") throw Cr.NS_ERROR_INVALID_ARG;  key = toInternalPath(key, false); 
  registerDirectory: function(path, directory)  {    // strip off leading and trailing '/' so that we can use lastIndexOf when    // determining exactly how a path maps onto a mapped directory --    // conditional is required here to deal with "/".substring(1, 0) being    // converted to "/".substring(0, 1) per the JS specification    var key = path.length == 1 ? "" : path.substring(1, path.length - 1);    if (directory)    {      dumpn("*** mapping '" + path + "' to the location " + directory.path);      this._pathDirectoryMap.put(key, directory);    }    else    {      dumpn("*** removing mapping for '" + path + "'");      this._pathDirectoryMap.put(key, null);    }  },
5872	/local1/tlutelli/issta_data/temp/all_js/javascript/2007_temp/2007/5872/2b27fe648e2bcfc8a9287920102eb35070e9fb5d/httpd.js/buggy/netwerk/test/httpserver/httpd.js