See what web server a site is using and add it to a DB table

web-server-headers-research.php

<?php
ob_start();
passthru('curl -I http://www.reddit.com | grep Server | sed "s/Server: //"');
$server = ob_get_clean();

// http://xkcd.com/327/
mysql_query("INSERT INTO servertypes (server) VALUES '$server'");