Que no se malentienda, lo que quiero es que funcione esto:
Código PHP:
header("Location: ".$url);
y no esto
Código PHP:
header("Location: /compras_alta.php");
pues necesito pasar DINAMICAMENTE -por GET- la url
o sea: sigo sin resolver este problema,
saludos!