|
@@ -45,7 +45,7 @@ function request_id() {
|
|
|
// the path is resolved and decoded
|
|
|
function path_list(pathname) {
|
|
|
// remove double and trailing slashes
|
|
|
- pathname = pathname.replace(/\/\/+/g, "/").replace(/\/$/, "");
|
|
|
+ pathname = pathname.replace(/\/\/+/g, "/").replace(/(.)\/$/, "$1");
|
|
|
var list = pathname.split("/");
|
|
|
list.shift();
|
|
|
for (var i = 0; i < list.length; i++) {
|