<?php    // More compare http and curl and php (command line)
   $lb = "\n";
   $iscurl = false;
   if (isset($_SERVER['HTTP_USER_AGENT'])) {
     if (strpos(("*" . $_SERVER['HTTP_USER_AGENT']), "*curl") !== false) {
       $iscurl = true;  }
     if (!$iscurl) $lb = "<br>";
     echo "\$_SERVER['HTTP_USER_AGENT'] = " . $_SERVER['HTTP_USER_AGENT'] . $lb;
   } else {     echo "\$_SERVER['HTTP_USER_AGENT'] is undefined." . $lb;   }
   if (isset($_SERVER['HTTP_COOKIE'])) {
     if (!$iscurl) $lb = "<br>";
     echo "\$_SERVER['HTTP_COOKIE'] = " . $_SERVER['HTTP_COOKIE'] . $lb;
   } else {     echo "\$_SERVER['HTTP_COOKIE'] is undefined." . $lb;   }
   if (!isset($_SERVER['PHP_AUTH_USER'])) {
     echo "\$_SERVER['PHP_AUTH_USER'] = " . $_SERVER['PHP_AUTH_USER'] . $lb;
   } else {     echo "\$_SERVER['PHP_AUTH_USER'] is undefined." . $lb;   }
   echo "__FILE__ = " . __FILE__ . $lb;
   echo "dirname(__FILE__) = " . dirname(__FILE__) . $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;   }
?>