Description:
------------
It seems that a script executing in response to a HEAD 
request will terminate when non-header output is 
generated. This can lead to different behavior in HEAD vs 
GET, which may not be desirable. Other bug reports 
(http://bugs.php.net/bug.php?id=15693) have indicated that 
the entire script executes, which does not seem to be the 
case. 
 
I was unable to find documentation of what is the intended 
behavior, although I would vote for having the script 
complete no matter the method, as working around cases 
where that is not desirable is easier: 
 
if ($_SERVER['REQUEST_METHOD'] == 'HEAD') exit(); 
 
at the top of a script, vs. 
 
if ($_SERVER['REQUEST_METHOD'] != 'HEAD') { 
   // do outputty things 
} 
// do non-outputty things 
 
sprinkled throughout the code. 

Reproduce code:
---------------
<?php

$fp = fopen('/tmp/test-head.out', 'a');

fwrite($fp, "Method = " . $_SERVER['REQUEST_METHOD'] . "\n");

echo "hello";

fwrite($fp, "POST: " . print_r($_POST, true) . "\n");
fwrite($fp, "GET: " . print_r($_GET, true) . "\n\n");

fclose($fp);


?>