wikimedia /
mediawiki
| @@ 403-407 (lines=5) @@ | ||
| 400 | $i = ArrayUtils::pickRandom( $readLoads ); |
|
| 401 | } |
|
| 402 | ||
| 403 | if ( $i > 0 ) { |
|
| 404 | $ok = $this->doWait( $i, true, $timeout ); |
|
| 405 | } else { |
|
| 406 | $ok = true; // no applicable loads |
|
| 407 | } |
|
| 408 | ||
| 409 | return $ok; |
|
| 410 | } |
|
| @@ 424-426 (lines=3) @@ | ||
| 421 | ||
| 422 | $ok = true; |
|
| 423 | for ( $i = 1; $i < $serverCount; $i++ ) { |
|
| 424 | if ( $this->mLoads[$i] > 0 ) { |
|
| 425 | $ok = $this->doWait( $i, true, $timeout ) && $ok; |
|
| 426 | } |
|
| 427 | } |
|
| 428 | ||
| 429 | return $ok; |
|
