make sure sockets are enabled

diff --git a/includes/profiler/ProfilerSimpleUDP.php b/includes/profiler/ProfilerSimpleUDP.php
index c11c320..77fdf34 100644 (file)
--- a/includes/profiler/ProfilerSimpleUDP.php
+++ b/includes/profiler/ProfilerSimpleUDP.php
@@ -19,6 +19,11 @@ class ProfilerSimpleUDP extends ProfilerSimple {
                        # Less than minimum, ignore
                        return;
                }
+               
+               if ( !function_exists( 'socket_create' ) )
+                       # Sockets are not enabled
+                       return;
+               }
 
                $sock = socket_create(AF_INET, SOCK_DGRAM, SOL_UDP);
                $plength=0;