(String name, int value)
| 1312 | |
| 1313 | |
| 1314 | @Override |
| 1315 | public void setIntHeader(String name, int value) { |
| 1316 | |
| 1317 | if (name == null || name.isEmpty()) { |
| 1318 | return; |
| 1319 | } |
| 1320 | |
| 1321 | if (isCommitted()) { |
| 1322 | return; |
| 1323 | } |
| 1324 | |
| 1325 | // Ignore any call from an included servlet |
| 1326 | if (included) { |
| 1327 | return; |
| 1328 | } |
| 1329 | |
| 1330 | setHeader(name, "" + value); |
| 1331 | |
| 1332 | } |
| 1333 | |
| 1334 | |
| 1335 | @Override |
nothing calls this directly
no test coverage detected