diff -r b3fcc21e557f -r b5db2345c397 webserver.php --- a/webserver.php Wed Mar 26 10:24:20 2008 -0400 +++ b/webserver.php Wed Mar 26 11:10:20 2008 -0400 @@ -105,6 +105,12 @@ @set_time_limit(0); @ini_set('memory_limit', '256M'); + // do we have socket functions? + if ( !function_exists('socket_create') ) + { + burnout('System does not support socket functions. Please rebuild your PHP or install an appropriate extension.'); + } + $this->sock = socket_create(AF_INET, SOCK_STREAM, getprotobyname('tcp')); if ( !$this->sock ) throw new Exception('Could not create socket');