Nils Gladitz c81558e38b file_win32 opens for read-only in shared mode: ...

fix #786

Without this change the second opening of an
already opened file fails with:

  "The process cannot access the file because it
  is being used by another process"

2017-09-25 21:33:04 -07:00

..

boost

file_win32 opens for read-only in shared mode:

2017-09-25 21:33:04 -07:00