discoproject/disco — pull request #442 by pooya (2014-02-24 21:02:35+00:00)
Title: Do not fsync files after flushing them.

Fsync is only necessary when we are concerned about losing data when system
crashes and it is not a concern for the output of disk sort.