1
2
3
4
5
6
7
8
9
10
11
12
13
14

<?php

if (!isset($_POST)) $_POST=&$HTTP_POST_VARS;
if (!isset($_GET)) $_GET=&$HTTP_GET_VARS;
if (!isset($_FILES)) $_FILES=&$HTTP_POST_FILES;
if (!isset($_SERVER)) $_SERVER=&$HTTP_SERVER_VARS;

if (!isset($_SERVER['PATH_TRANSLATED'])) die("'PATH_TRANSLATED' not available"); 
if (!isset($_SERVER['DOCUMENT_ROOT'])) die("'DOCUMENT_ROOT' not available");
if (!isset($_SERVER['HTTP_HOST'])) die("'HTTP_HOST' not available"); 
if (!isset($_SERVER['SERVER_ADDR'])) die("'SERVER_ADDR' not available"); 
if (!isset($_SERVER['SERVER_PORT'])) die("'SERVER_PORT' not available"); 

?>