diff options
author | Daniel Gultsch <daniel@gultsch.de> | 2015-08-15 14:14:33 +0200 |
---|---|---|
committer | Daniel Gultsch <daniel@gultsch.de> | 2015-08-15 14:14:33 +0200 |
commit | 32826ec29d28668b7f345ffcd45cd876dc980153 (patch) | |
tree | d2e0ce958afb3e1b28aaae1a607c199faa575551 /libs | |
parent | 75bafd573e47440911329dee1d3a12482dc1a76a (diff) |
provide extra interface to close sockets. fixes #1330
Diffstat (limited to 'libs')
0 files changed, 0 insertions, 0 deletions