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