server_id])) unset($_SESSION['tree'][$ldapserver->server_id][$dn]); /* This is for Opera. By putting "random junk" in the query string, it thinks that it does not have a cached version of the page, and will thus fetch the page rather than display the cached version */ $time = gettimeofday(); $random_junk = md5(strtotime('now') . $time['usec']); /* If cookies were disabled, build the url parameter for the session id. It will be append to the url to be redirect */ $id_session_param = ""; if (SID != "") $id_session_param = "&".session_name()."=".session_id(); header(sprintf('Location:tree.php?foo=%s#%s_%s%s',$random_junk,$ldapserver->server_id,$encoded_dn,$id_session_param)); ?>