(String name, int value)
| 1033 | |
| 1034 | |
| 1035 | @Override |
| 1036 | public void addIntHeader(String name, int value) { |
| 1037 | |
| 1038 | if (name == null || name.isEmpty()) { |
| 1039 | return; |
| 1040 | } |
| 1041 | |
| 1042 | if (isCommitted()) { |
| 1043 | return; |
| 1044 | } |
| 1045 | |
| 1046 | // Ignore any call from an included servlet |
| 1047 | if (included) { |
| 1048 | return; |
| 1049 | } |
| 1050 | |
| 1051 | addHeader(name, "" + value); |
| 1052 | |
| 1053 | } |
| 1054 | |
| 1055 | |
| 1056 | @Override |
nothing calls this directly
no test coverage detected