diff options
author | Péter Dimitrov <[email protected]> | 2018-04-11 11:17:58 +0200 |
---|---|---|
committer | GitHub <[email protected]> | 2018-04-11 11:17:58 +0200 |
commit | 61d16f05ee113414fc868940156931bdfa2d25f0 (patch) | |
tree | 571570172cc573000e4207cf675fe0753140c97d /plt/.gitignore | |
parent | 6a38655668542cebb60d5e13078b599abb3f0ec6 (diff) | |
parent | d9d40dd446d7e7783ceaff62f0bc5f74e556d119 (diff) | |
download | otp-61d16f05ee113414fc868940156931bdfa2d25f0.tar.gz otp-61d16f05ee113414fc868940156931bdfa2d25f0.tar.bz2 otp-61d16f05ee113414fc868940156931bdfa2d25f0.zip |
Merge pull request #1752 from lucafavatella/httpc-connection-close
Teach httpc to honour server connection close
Diffstat (limited to 'plt/.gitignore')
0 files changed, 0 insertions, 0 deletions