Make read_file() thread-safe.
authorSteinar H. Gunderson <sgunderson@bigfoot.com>
Sat, 7 Mar 2015 01:06:29 +0000 (02:06 +0100)
committerSteinar H. Gunderson <sgunderson@bigfoot.com>
Sat, 7 Mar 2015 01:06:29 +0000 (02:06 +0100)
commit0cea318493ae406e5fff6e10eb8d3e171603a0c0
treed0f55b375eed62cdc75a2130d660df7a7657e671
parentd88ed3150376693000665b9016c0350d5d90e9e1
Make read_file() thread-safe.

This is long overdue, of course; I knew this function was a quick hack,
but didn't realize it was a problem until Christophe Thommeret reported
an issue that looked a lot like this.
util.cpp