[dev] bug in new webroot code

[Chuck Hagenbuch]

Quoting Martin Ebourne <lists at ebourne.me.uk>:

> The new way of working out the webroot in registry.php - ie.
>
>     $webroot = str_replace(array('\\',
>                                  $_SERVER['DOCUMENT_ROOT'],
>                                  '/config/registry.php'),
>                            array('/', '', ''), __FILE__);
>
> breaks if you symlink registry.php -> registry.php.dist.

I'm not sure I want to consider that a supported configuration. Patch? Other
suggestions?

-chuck

--
"Regard my poor demoralized mule!" - Juan Valdez