3 |
// $Id$ |
// $Id$ |
4 |
// ------------------------------------------------------------------------- |
// ------------------------------------------------------------------------- |
5 |
// $Log$ |
// $Log$ |
6 |
|
// Revision 1.2 2003/02/09 17:41:18 joko |
7 |
|
// + minor update related to new log level constants |
8 |
|
// |
9 |
// Revision 1.1 2002/11/12 05:42:31 joko |
// Revision 1.1 2002/11/12 05:42:31 joko |
10 |
// + initial checkin |
// + initial checkin |
11 |
// |
// |
18 |
|
|
19 |
function redirect($url) { |
function redirect($url) { |
20 |
//print "redir: $url<br>"; |
//print "redir: $url<br>"; |
21 |
$this->site->log( get_class($this) . "->redirect( url $url )", LOG_DEBUG); |
$this->site->log( get_class($this) . "->redirect( url $url )", PEAR_LOG_DEBUG); |
22 |
Header("Location: " . $url); |
Header("Location: " . $url); |
23 |
exit; |
exit; |
24 |
} |
} |