Willst Du überhaupt eine Umleitung?
ich muss auf eine bestimmte Seite meiner Webanwendung verzweigen die in dieser variablen($url) drin steht
Wenn Du wirklich eine nicht vom Benutzer initiierte Umleitung willst, nimm header(), oder beschreib genauer, um was es geht.