<?php

# parses any dotpath in the query string

require_once dirname(__FILE__)."/util.php";

$path = $_SERVER["QUERY_STRING"];

## translate dotpaths (after the last /) to /-paths, e.g. d/a.[b.c] -> d/a/b.c

# replace all unescaped . with / , e.g. a.[b.c] -> a/[b.c]

# remove any [] escape, e.g. a.b=[c.d] -> a/b=c.d (the ] must be at the end)

$path = rm_prefix(".", $path); # . prefix forces interpretation as a dotpath

do

{

	$old_path = $path;

	$path = preg_replace('/^([^&]*\/)?(?=.)(\.?[^.\/&]*?)(?:\[([^\[\]\/&]*)\])?\.([^\/&]*)$/',

		'$1$2$3/$4', $path);

} while ($path !== $old_path);

$url = ensure_suffix("/", $_SERVER["PATH_INFO"]).$path;

header("Location: ".$url);

?>