webserver.php
changeset 13 b5db2345c397
parent 12 b3fcc21e557f
child 15 2adca0f363fd
--- 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');