wikimedia /
mediawiki
| @@ 1194-1199 (lines=6) @@ | ||
| 1191 | } |
|
| 1192 | ); |
|
| 1193 | ||
| 1194 | if ( $failures ) { |
|
| 1195 | throw new DBExpectedError( |
|
| 1196 | null, |
|
| 1197 | "$fname: Flush failed on server(s) " . implode( "\n", array_unique( $failures ) ) |
|
| 1198 | ); |
|
| 1199 | } |
|
| 1200 | } |
|
| 1201 | ||
| 1202 | /** |
|
| @@ 1230-1235 (lines=6) @@ | ||
| 1227 | } |
|
| 1228 | ); |
|
| 1229 | ||
| 1230 | if ( $failures ) { |
|
| 1231 | throw new DBExpectedError( |
|
| 1232 | null, |
|
| 1233 | "$fname: Commit failed on server(s) " . implode( "\n", array_unique( $failures ) ) |
|
| 1234 | ); |
|
| 1235 | } |
|
| 1236 | } |
|
| 1237 | ||
| 1238 | /** |
|
