| 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 |
} |
} |