| 1 |
joko |
1.1 |
<? |
| 2 |
|
|
// ------------------------------------------------------------------------- |
| 3 |
joko |
1.2 |
// $Id: ExtHttp.php,v 1.1 2002/11/12 05:42:31 joko Exp $ |
| 4 |
joko |
1.1 |
// ------------------------------------------------------------------------- |
| 5 |
joko |
1.2 |
// $Log: ExtHttp.php,v $ |
| 6 |
|
|
// Revision 1.1 2002/11/12 05:42:31 joko |
| 7 |
|
|
// + initial checkin |
| 8 |
|
|
// |
| 9 |
joko |
1.1 |
// ------------------------------------------------------------------------- |
| 10 |
|
|
|
| 11 |
|
|
|
| 12 |
|
|
class Site_Http { |
| 13 |
|
|
|
| 14 |
|
|
var $state; |
| 15 |
|
|
|
| 16 |
|
|
function redirect($url) { |
| 17 |
|
|
//print "redir: $url<br>"; |
| 18 |
joko |
1.2 |
$this->site->log( get_class($this) . "->redirect( url $url )", PEAR_LOG_DEBUG); |
| 19 |
joko |
1.1 |
Header("Location: " . $url); |
| 20 |
|
|
exit; |
| 21 |
|
|
} |
| 22 |
|
|
|
| 23 |
|
|
} |
| 24 |
|
|
|
| 25 |
|
|
?> |