tree 85ba1c2096c1095a26d7f97664294f5c6bad059d
parent 0212e76db589837a39b251567c8ae2985a1a7e3e
author Nikias Bassen <nikias@gmx.li> 1540130254 +0200
committer Nikias Bassen <nikias@gmx.li> 1540130254 +0200

socket: Make sure to use socket_close() really everywhere