added notice that script terminates for error() and redirect()