How to differentiate between http and cli requests?

The title is quiet straightforward. I have to know on server side if the script called 开发者_JAVA百科through HTTP request or by command line. I could examine the $_SERVER['argv'] or $_SERVER['argc'].

What is the pragmatic way to do that?

http://us3.php.net/manual/en/function.php-sapi-name.php

<?php
echo PHP_SAPI;
echo php_sapi_name();
?>

Look at the keys in $_SERVER. If it is a cli request, you shouldn't see any that start with "HTTP".

Here is some simple test code:

<?php

foreach( $_SERVER as $k=>$v ){
    echo "$k: $v\n";
}

?>

And here is the output:

aj@mmdev0:~/so$ php cli.php |grep HTTP
aj@mmdev0:~/so$

Possibly checking if no $_SERVER['HTTP_HOST'] is set? Because I believe that variable is populated through the Request Headers sent to a file on exection, and the command line probably doesn't send headers.

You can check if the global variable $argc is set.

I suggest checking if(isset($_SERVER['SERVER_NAME']))

But you have to send the data through http (tcp) anyway no matter if the script is called from cli or from a browser