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 /docs/observations.md | |
| parent | 75bafd573e47440911329dee1d3a12482dc1a76a (diff) | |
provide extra interface to close sockets. fixes #1330
Diffstat (limited to 'docs/observations.md')
0 files changed, 0 insertions, 0 deletions