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