wikimedia /
mediawiki
| @@ 411-415 (lines=5) @@ | ||
| 408 | $i = ArrayUtils::pickRandom( $readLoads ); |
|
| 409 | } |
|
| 410 | ||
| 411 | if ( $i > 0 ) { |
|
| 412 | $ok = $this->doWait( $i, true, $timeout ); |
|
| 413 | } else { |
|
| 414 | $ok = true; // no applicable loads |
|
| 415 | } |
|
| 416 | ||
| 417 | return $ok; |
|
| 418 | } |
|
| @@ 432-434 (lines=3) @@ | ||
| 429 | ||
| 430 | $ok = true; |
|
| 431 | for ( $i = 1; $i < $serverCount; $i++ ) { |
|
| 432 | if ( $this->mLoads[$i] > 0 ) { |
|
| 433 | $ok = $this->doWait( $i, true, $timeout ) && $ok; |
|
| 434 | } |
|
| 435 | } |
|
| 436 | ||
| 437 | return $ok; |
|
