<?php 
   // Compare http and curl and php (command line)
   $lb = "\n";
   if (isset($_SERVER['HTTP_COOKIE'])) {
     $lb = "<br>";
     echo "\$_SERVER['HTTP_COOKIE'] = " . $_SERVER['HTTP_COOKIE'] . $lb;
   } else {
     echo "\$_SERVER['HTTP_COOKIE'] is undefined." . $lb;
   }
   if (isset($_SERVER['SERVER_NAME'])) {
     echo "\$_SERVER['SERVER_NAME'] = " . $_SERVER['SERVER_NAME'] . $lb;
   } else {
     echo "\$_SERVER['SERVER_NAME'] is undefined." . $lb;
   }
   if (isset($_SERVER['SERVER_PORT'])) {
     echo "\$_SERVER['SERVER_PORT'] = " . $_SERVER['SERVER_PORT'] . $lb;
   } else {
     echo "\$_SERVER['SERVER_PORT'] is undefined." . $lb;
   }
   if (isset($_SERVER['REMOTE_PORT'])) {
     echo "\$_SERVER['REMOTE_PORT'] = " . $_SERVER['REMOTE_PORT'] . $lb;
   } else {
     echo "\$_SERVER['REMOTE_PORT'] is undefined." . $lb;
   }
   if (isset($_SERVER['HTTP_REFERER'])) {
     echo "\$_SERVER['HTTP_REFERER'] = " . $_SERVER['HTTP_REFERER'] . $lb;
   } else {
     echo "\$_SERVER['HTTP_REFERER'] is undefined." . $lb;
   }
   if (isset($_SERVER['SCRIPT_FILENAME'])) {
     echo "\$_SERVER['SCRIPT_FILENAME'] = " . $_SERVER['SCRIPT_FILENAME'] . $lb;
   } else {
     echo "\$_SERVER['SCRIPT_FILENAME'] is undefined." . $lb;
   }
   if (isset($_GET['SERVER_NAME'])) {
     echo "\$_GET['SERVER_NAME'] = " . $_GET['SERVER_NAME'] . $lb;
   } else {
     echo "\$_GET['SERVER_NAME'] is undefined." . $lb;
   }
   if (isset($argv[0])) {
     echo "\$argv[0] = " . $argv[0] . $lb;
   } else {
     echo "\$argv[0] is undefined." . $lb;
   }
   if (isset($argv[1])) {
     echo "\$argv[1] = " . $argv[1] . $lb;
   } else {
     echo "\$argv[1] is undefined." . $lb;
   }
?>