diff options
| author | Jimmy Thrasher <jimmy@jimmythrasher.com> | 2014-04-05 17:59:09 -0400 |
|---|---|---|
| committer | Jimmy Thrasher <jimmy@jimmythrasher.com> | 2014-04-05 18:00:59 -0400 |
| commit | fd5406282d0767ddb7609de4790368e168b56aba (patch) | |
| tree | 87d6b538e1c6a82675acb640a32adbb304d71d34 /src/buffer_manager.hh | |
| parent | c4e694fb7b747a2659060e7edd3788502a28a291 (diff) | |
Fix crash caused by attempting to close a nonexistent DIR*
Diffstat (limited to 'src/buffer_manager.hh')
0 files changed, 0 insertions, 0 deletions