Merge pull request #126 from SiriDB/issue125
authorJeroen van der Heijden <jeroen@transceptor.technology>
Wed, 26 Feb 2020 20:52:19 +0000 (21:52 +0100)
committerGitHub <noreply@github.com>
Wed, 26 Feb 2020 20:52:19 +0000 (21:52 +0100)
Fix possible crash with low value of file descriptors


Trivial merge