8) $page_base = substr($url, 0, $slash_position+1); // "$slash_position+1" per includere il "/". else { $page_base = $url; // $url e' gia' la page base, senza alcuna modifica. if($slash_position!=strlen($url)) $page_base=$page_base."/"; } // Se la page base finisce con un //, lo sostituisce con un / $last_two_characters = substr($page_base, strlen($page_base)-2, 2); if($last_two_characters=="//") $page_base = substr($page_base, 0, strlen($page_base)-1); return $page_base; } /*********************************************************************** get_base_domain_address($page_base) ------------------------------------------------------------- DESCRIZIONE: Ritorna l'indirizzo del DOMAIN base, che e' diverso dall'indirizzo della PAGE base. Mentre la page base potrebbe contenere una struttura di directory, l'indirizzo del domain base e' semplicemente il dominio, senza alcuna struttura di directory. L'indirizzo del DOMAIN base si trova prendendo tutto cio' che segue il primo "/" dopo gli "/" iniziali che si trovano dopo il protocollo (http:// o https://) INPUTS: $page_base, (da get_base_page_address) OUTPUT: L'indirizzo del domain base dell'URL ***********************************************************************/ function get_base_domain_address($page_base) { for ($pointer=8; $pointer