fixing segv under linux due to unused w32-specific handle being dereferenced on unmap
authorChristian Grothoff <christian@grothoff.org>
Sun, 5 Jul 2009 21:13:39 +0000 (21:13 +0000)
committerChristian Grothoff <christian@grothoff.org>
Sun, 5 Jul 2009 21:13:39 +0000 (21:13 +0000)
commit0619b171c1bd2b64af515673aa10b7f189d6068e
treefe50431510d91a4f76c73d858d0e4c577998a47d
parent337fb5a2d19d239c38663cfd128e5d977388dfe9
fixing segv under linux due to unused w32-specific handle being dereferenced on unmap
src/util/disk.c