index 3ff6be3f5f5262c2fe31856bd305dba7fde1eb15..4d8b18c8c325eb34c66232ecfd0012cff7400b34 100644 (file)
function encode_server_url($url, $base, $val)
{
- return (preg_replace("/_+/", "_", "HTTP_".strtr(strtoupper($url."_".md5($base)."_$val"), "-:/", "___")));
+ return (preg_replace("/_+/", "_", "HTTP_".strtr(strtoupper($url."_".md5($base)."_$val"), ".-:/", "____")));
}
function get_admin_dn()
{
$enc= $this->encode_server_url($this->current['SERVER'], $this->current['BASE'], "ADMIN");
-
/* Answer from http request */
if (isset($_SERVER[$enc])){
return $_SERVER[$enc];