You definitely should. Otherwise the script execution is not terminated. Setting another header alone is not enough to redirect.
You definitely should. Otherwise the script execution is not terminated. Setting another header alone is not enough to redirect.