(other: HttpHeaders)
| 191 | } |
| 192 | |
| 193 | private copyFrom(other: HttpHeaders) { |
| 194 | other.init(); |
| 195 | for (const [key, values] of other.headers.entries()) { |
| 196 | this.headers.set(key, values); |
| 197 | this.normalizedNames.set(key, other.normalizedNames.get(key)!); |
| 198 | } |
| 199 | } |
| 200 | |
| 201 | private clone(update: Update): HttpHeaders { |
| 202 | const clone = new HttpHeaders(); |