fix ping request and _rd close case
authorMatteo Nastasi <nastasi@alternativeoutput.it>
Tue, 31 Mar 2020 11:06:56 +0000 (13:06 +0200)
committerMatteo Nastasi <nastasi@alternativeoutput.it>
Tue, 31 Mar 2020 11:06:56 +0000 (13:06 +0200)
commit2a134b612ddcdd7d04cb6fbcce0c0db1cfec6950
tree334ec7188e5c19d20619a082f5c8ab5651a622c3
parentf8605f6d02dc4b8f69a74f6aaafd770a033a8840
fix ping request and _rd close case
web/Obj/brisk.phh