diff options
author | Pierre Schmitz <pierre@archlinux.de> | 2012-05-03 13:01:35 +0200 |
---|---|---|
committer | Pierre Schmitz <pierre@archlinux.de> | 2012-05-03 13:01:35 +0200 |
commit | d9022f63880ce039446fba8364f68e656b7bf4cb (patch) | |
tree | 16b40fbf17bf7c9ee6f4ead25b16dd192378050a /includes/profiler/ProfilerSimpleUDP.php | |
parent | 27cf83d177256813e2e802241085fce5dd0f3fb9 (diff) |
Update to MediaWiki 1.19.0
Diffstat (limited to 'includes/profiler/ProfilerSimpleUDP.php')
-rw-r--r-- | includes/profiler/ProfilerSimpleUDP.php | 38 |
1 files changed, 25 insertions, 13 deletions
diff --git a/includes/profiler/ProfilerSimpleUDP.php b/includes/profiler/ProfilerSimpleUDP.php index ed49d5a2..ae607aa6 100644 --- a/includes/profiler/ProfilerSimpleUDP.php +++ b/includes/profiler/ProfilerSimpleUDP.php @@ -20,22 +20,34 @@ class ProfilerSimpleUDP extends ProfilerSimple { return; } + if ( !MWInit::functionExists( 'socket_create' ) ) { + # Sockets are not enabled + return; + } + $sock = socket_create(AF_INET, SOCK_DGRAM, SOL_UDP); - $plength=0; - $packet=""; - foreach ($this->mCollated as $entry=>$pfdata) { - $pfline=sprintf ("%s %s %d %f %f %f %f %s\n", $this->getProfileID(),"-",$pfdata['count'], - $pfdata['cpu'],$pfdata['cpu_sq'],$pfdata['real'],$pfdata['real_sq'],$entry); - $length=strlen($pfline); + $plength = 0; + $packet = ""; + foreach ( $this->mCollated as $entry => $pfdata ) { + if( !isset($pfdata['count']) + || !isset( $pfdata['cpu'] ) + || !isset( $pfdata['cpu_sq'] ) + || !isset( $pfdata['real'] ) + || !isset( $pfdata['real_sq'] ) ) { + continue; + } + $pfline = sprintf( "%s %s %d %f %f %f %f %s\n", $this->getProfileID(), "-", $pfdata['count'], + $pfdata['cpu'], $pfdata['cpu_sq'], $pfdata['real'], $pfdata['real_sq'], $entry); + $length = strlen( $pfline ); /* printf("<!-- $pfline -->"); */ - if ($length+$plength>1400) { - socket_sendto($sock,$packet,$plength,0,$wgUDPProfilerHost,$wgUDPProfilerPort); - $packet=""; - $plength=0; + if ( $length + $plength > 1400 ) { + socket_sendto( $sock, $packet, $plength, 0, $wgUDPProfilerHost, $wgUDPProfilerPort ); + $packet = ""; + $plength = 0; } - $packet.=$pfline; - $plength+=$length; + $packet .= $pfline; + $plength += $length; } - socket_sendto($sock,$packet,$plength,0x100,$wgUDPProfilerHost,$wgUDPProfilerPort); + socket_sendto( $sock, $packet, $plength, 0x100, $wgUDPProfilerHost, $wgUDPProfilerPort ); } } |