| Index: branches/wmf/1.17wmf1/extensions/PoolCounter/PoolCounterClient_body.php |
| — | — | @@ -82,6 +82,10 @@ |
| 83 | 83 | return $status; |
| 84 | 84 | } |
| 85 | 85 | $this->conn = $status->value; |
| | 86 | + |
| | 87 | + // Set the read timeout to be 1.5 times the pool timeout. |
| | 88 | + // This allows the server to time out gracefully before we give up on it. |
| | 89 | + stream_set_timeout( $this->conn, 0, $this->timeout * 1e6 * 1.5 ); |
| 86 | 90 | } |
| 87 | 91 | return Status::newGood( $this->conn ); |
| 88 | 92 | } |
| Property changes on: branches/wmf/1.17wmf1/extensions/PoolCounter/PoolCounterClient_body.php |
| ___________________________________________________________________ |
| Modified: svn:mergeinfo |
| 89 | 93 | Merged /trunk/extensions/PoolCounter/PoolCounterClient_body.php:r84317 |