[irev] retrieve HTTP header info

[Nicolas Cueto]

Sorry. Found an answer:

<?rev
	repeat for each key tKey in $_SERVER
                if "HTTP_" is not among the chars of tKey then next repeat
		put tKey & tab & $_SERVER[tKey] & cr after tHeaderData
	end repeat
?>

Cheers.
--
Nicolas Cueto