wikimedia /
mediawiki
| @@ 1189-1194 (lines=6) @@ | ||
| 1186 | } |
|
| 1187 | ); |
|
| 1188 | ||
| 1189 | if ( $failures ) { |
|
| 1190 | throw new DBExpectedError( |
|
| 1191 | null, |
|
| 1192 | "$fname: Flush failed on server(s) " . implode( "\n", array_unique( $failures ) ) |
|
| 1193 | ); |
|
| 1194 | } |
|
| 1195 | } |
|
| 1196 | ||
| 1197 | /** |
|
| @@ 1225-1230 (lines=6) @@ | ||
| 1222 | } |
|
| 1223 | ); |
|
| 1224 | ||
| 1225 | if ( $failures ) { |
|
| 1226 | throw new DBExpectedError( |
|
| 1227 | null, |
|
| 1228 | "$fname: Commit failed on server(s) " . implode( "\n", array_unique( $failures ) ) |
|
| 1229 | ); |
|
| 1230 | } |
|
| 1231 | } |
|
| 1232 | ||
| 1233 | /** |
|
