diff options
author | Yuchen Pei <hi@ypei.me> | 2021-10-15 09:52:00 +1100 |
---|---|---|
committer | Yuchen Pei <hi@ypei.me> | 2021-10-15 09:52:00 +1100 |
commit | 71b0e901f5fb1cfcd162d8acc23120d3f77a3152 (patch) | |
tree | 323c00faef1edc7dea2e88ff581cc2258b2b6432 /h-source/Library/HeaderObj.php | |
parent | 72cce24864b064b5762f4fe97fdf40d8d2ad4b51 (diff) | |
parent | 07f5140771388c9e0c8a99b0dd2e5d950bdb173b (diff) |
Merge branch 'development' into h-node
Diffstat (limited to 'h-source/Library/HeaderObj.php')
-rw-r--r-- | h-source/Library/HeaderObj.php | 45 |
1 files changed, 0 insertions, 45 deletions
diff --git a/h-source/Library/HeaderObj.php b/h-source/Library/HeaderObj.php deleted file mode 100644 index 994eb16..0000000 --- a/h-source/Library/HeaderObj.php +++ /dev/null @@ -1,45 +0,0 @@ -<?php - -// EasyGiant is a PHP framework for creating and managing dynamic content -// -// Copyright (C) 2009 - 2011 Antonio Gallo -// See COPYRIGHT.txt and LICENSE.txt. -// -// This file is part of EasyGiant -// -// EasyGiant is free software: you can redistribute it and/or modify -// it under the terms of the GNU General Public License as published by -// the Free Software Foundation, either version 3 of the License, or -// (at your option) any later version. -// -// EasyGiant is distributed in the hope that it will be useful, -// but WITHOUT ANY WARRANTY; without even the implied warranty of -// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -// GNU General Public License for more details. -// -// You should have received a copy of the GNU General Public License -// along with EasyGiant. If not, see <http://www.gnu.org/licenses/>. - -if (!defined('EG')) die('Direct access not allowed!'); - -//manage the header -class HeaderObj { - - private $domainName; //the base path of the website (domainname) - - public function __construct($domainName) - { - $this->domainName = $domainName; - } - - //redirect to $path after the time $time - //string that appears until the page is redirected - public function redirect($path,$time = 0,$string = null) - { - $completePath = Url::getRoot().$path; - header('Refresh: '.$time.';url='.$completePath); - if (isset($string)) echo $string; - exit; - } - -} |