?? basexml.php
字號:
<?php
function SetXmlHeaders( )
{
ob_end_clean( );
header( "Expires: Mon, 26 Jul 1997 05:00:00 GMT" );
header( "Last-Modified: ".gmdate( "D, d M Y H:i:s" )." GMT" );
header( "Cache-Control: no-store, no-cache, must-revalidate" );
header( "Cache-Control: post-check=0, pre-check=0", FALSE );
header( "Pragma: no-cache" );
header( "Content-Type: text/xml; charset=gb2312" );
}
function CreateXmlHeader( $command, $resourceType, $currentFolder )
{
setxmlheaders( );
echo "<?xml version=\"1.0\" encoding=\"gb2312\" ?>";
echo "<Connector command=\"".$command."\" resourceType=\"".$resourceType."\">";
echo "<CurrentFolder path=\"".converttoxmlattribute( $currentFolder )."\" url=\"".converttoxmlattribute( geturlfrompath( $resourceType, $currentFolder, $command ) )."\" />";
$GLOBALS['GLOBALS']['HeaderSent'] = TRUE;
}
function CreateXmlFooter( )
{
echo "</Connector>";
}
function SendError( $number, $text )
{
if ( isset( $GLOBALS['HeaderSent'] ) && $GLOBALS['HeaderSent'] )
{
senderrornode( $number, $text );
createxmlfooter( );
exit( );
}
setxmlheaders( );
echo "<?xml version=\"1.0\" encoding=\"gb2312\" ?><Connector>";
senderrornode( $number, $text );
echo "</Connector>";
exit( );
}
function SendErrorNode( $number, $text )
{
echo "<Error number=\"".$number."\" text=\"".htmlspecialchars( $text )."\" />";
}
?>
?? 快捷鍵說明
復制代碼
Ctrl + C
搜索代碼
Ctrl + F
全屏模式
F11
切換主題
Ctrl + Shift + D
顯示快捷鍵
?
增大字號
Ctrl + =
減小字號
Ctrl + -