|  | @@ -44,9 +44,8 @@ function request_id() {
 | 
	
		
			
				|  |  |  // splits a URL path into an Array
 | 
	
		
			
				|  |  |  // the path is resolved and decoded
 | 
	
		
			
				|  |  |  function path_list(pathname) {
 | 
	
		
			
				|  |  | -  // remove trailing and double slashes + other junk
 | 
	
		
			
				|  |  | -
 | 
	
		
			
				|  |  | -  pathname = path.resolve(pathname);
 | 
	
		
			
				|  |  | +  // remove double and trailing slashes
 | 
	
		
			
				|  |  | +  pathname = pathname.replace(/\/\/+/g, "/").replace(/\/$/, "");
 | 
	
		
			
				|  |  |    var list = pathname.split("/");
 | 
	
		
			
				|  |  |    list.shift();
 | 
	
		
			
				|  |  |    for (var i = 0; i < list.length; i++) {
 |