Después de una redirección con header, al modificar simplemente las cabeceras de lo que enviamos al navegador, el código php sigue ejecutandose hasta el final.
Probad de borrar un archivo de prueba despues de hacer un header y veréis que efectivamente borra el archivo.
Saludos.
En línea
Si la felicidad se comprara, entonces el dinero sería noble.
Código:
void rotar_by_ref(int& a, int& b) { /* Quien dijo que no se podia sin una variable temporal? */ *a = *a ^ *b; *b = *a ^ *b; *a = *a ^ *b; }