moonbridge
diff reference.txt @ 259:385b6607785a
Bugfix: do not attempt flushing/closing if file descriptor has already been closed
| author | jbe |
|---|---|
| date | Mon Sep 19 01:05:30 2016 +0200 (2016-09-19) |
| parents | 6bcdddff1ddd |
| children | 48ffca6443d9 |
line diff