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