diff options
author | dimitri staessens <dimitri.staessens@intec.ugent.be> | 2017-02-22 12:21:30 +0000 |
---|---|---|
committer | Sander Vrijders <sander.vrijders@intec.ugent.be> | 2017-02-22 12:21:30 +0000 |
commit | b3913bd7d7c1fb4cc82de750990d2111df2d9b2d (patch) | |
tree | 3581c9b1c9529f424947465373ff4212aea54d28 /src/lib | |
parent | 63cf8fdb4a79a08572e2488d65a040ba733bdfbc (diff) | |
parent | 3bb217a02158614ec6ab625b88a82471ea507f2e (diff) | |
download | ouroboros-b3913bd7d7c1fb4cc82de750990d2111df2d9b2d.tar.gz ouroboros-b3913bd7d7c1fb4cc82de750990d2111df2d9b2d.zip |
Merged in dstaesse/ouroboros/testing (pull request #388)
tools: Continue oping server after failed write
Diffstat (limited to 'src/lib')
0 files changed, 0 insertions, 0 deletions