HTTP::redirect -- クライアントをリダイレクトする
説明
この関数はクライアントをリダイレクトします。
これはLocation:ヘッダを出力し、
終了することで実行します。
例
これは、
/foo.phpへのクライアントを転送します。
この関数は
RFC 2616.が要求する
正しいホスト名を付加します。
注意
この関数は、スタティックにコールする
ことができます。
redirect()を呼ぶ前は、
クライアントにどんな種類のデータも送らないようにしてください。
Locationヘッダは絶対的なURLを要求します。
もし与えられなければ、$urlから構築し、
redirect()を試みます。