cvs: docweb /include lib_general.inc.php /include/rfc rfc.php

From: Date: Thu, 02 Sep 2004 18:24:12 +0000
Subject: cvs: docweb /include lib_general.inc.php /include/rfc rfc.php
Groups: php.doc.web 
Request: Send a blank email to doc-web+get-224@lists.php.net to get a copy of this message
vincent Thu Sep 2 14:24:12 2004 EDT Modified files: /docweb/include lib_general.inc.php /docweb/include/rfc rfc.php Log: avoid ugly pages when there is no header yet (rfc db not installed yet) http://cvs.php.net/diff.php/docweb/include/lib_general.inc.php?r1=1.12&r2=1.13&ty=u Index: docweb/include/lib_general.inc.php diff -u docweb/include/lib_general.inc.php:1.12 docweb/include/lib_general.inc.php:1.13 --- docweb/include/lib_general.inc.php:1.12 Fri Aug 27 14:00:33 2004 +++ docweb/include/lib_general.inc.php Thu Sep 2 14:24:12 2004 @@ -17,7 +17,7 @@ | Mehdi Achour <didou@php.net> | | Gabor Hojtsy <goba@php.net> | +----------------------------------------------------------------------+ -$Id: lib_general.inc.php,v 1.12 2004/08/27 18:00:33 vincent Exp $ +$Id: lib_general.inc.php,v 1.13 2004/09/02 18:24:12 vincent Exp $ */ error_reporting(E_ALL); @@ -115,6 +115,7 @@ function site_header($title = '', $style = array()) { + define('IN_HEAD', true); $lang = 'en'; //LANGC; $master_url = get_resource_url(); $encoding = "iso-8859-1"; // for now http://cvs.php.net/diff.php/docweb/include/rfc/rfc.php?r1=1.5&r2=1.6&ty=u Index: docweb/include/rfc/rfc.php diff -u docweb/include/rfc/rfc.php:1.5 docweb/include/rfc/rfc.php:1.6 --- docweb/include/rfc/rfc.php:1.5 Thu Sep 2 13:39:43 2004 +++ docweb/include/rfc/rfc.php Thu Sep 2 14:24:12 2004 @@ -24,7 +24,7 @@ * @author Daniel Convissor <danielc@php.net> * @copyright Copyright (c) 1997-2004 The PHP Group * @license http://www.php.net/license/3_0.txt PHP License - * @version $Id: rfc.php,v 1.5 2004/09/02 17:39:43 vincent Exp $ + * @version $Id: rfc.php,v 1.6 2004/09/02 18:24:12 vincent Exp $ */ require_once 'DB.php'; @@ -213,7 +213,9 @@ */ function error_handler($errobj, $title = 'Error') { - // echo site_header($title); + if(!defined('IN_HEAD')) { + echo site_header($title); + } report_error($errobj); echo site_footer(); exit;

« previous php.doc.web (#224) next »