Hola
no es ese el error, claro que se cumple eso que me marcas, pues si comento el
Código PHP:
//header("Location: ".$url);
y descomento el
Código PHP:
header("location: compras_alta.php");
la redireccion si que funciona ... y la url en cuestion ($url) es la misma: /compras_alta.php