Pagina di provenienza, importante

[mt19]

Salve ragazzi, devo creare uno script che mi faccia quest' operazione:
se l' utente viene da una qualsiasi pagina di paypal allora reindirizzalo alla pagina x/download, se l' utente viene da una qualsiasi altra pagina internet, allora reindirizzalo alla pagina x/errore

Ho trovato questa variabile:

$_SERVER['HTTP_REFERER']

Però ho appena iniziato a studiare il php, e questa funzione non so come crearla, non è che qualcuno me la può creare?

[Alhazred]

Per esempio

if(strstr($_SERVER['HTTP_REFERRER'],'www.paypal.') !== false)
{
    //redirect alla pagina per il download
}
else
{
    //redirect alla pagina d'errore
} 

Commento sulla condizione:
- verifica che nell'indirizzo ci sia www.paypal. niente TLD perché potrebbe essere tanto it quanto com o altro.
- il confronto va fatto con !== e non != sono 2 cose differenti, strstr() restituisce la posizione della sottostringa cercata, false se non la trova, se www.paypal. fosse all'inizio della stringa restituita da $_SERVER['HTTP_REFERRER'] restituirebbe 0, ma 0 per != è tale e quale a false, per !== invece 0 è 0 e false è false.

[Ranma2]

Io non farei molto affidamento all'HTTP_REFERER dato che varia da user agent ad user agent (browser), ti conviene cercare un'altra strada.