Comment 6 for bug 718924

This can be easily reproduced IRL with:

"""
import random
import sys
import time

fname = sys.argv[1]
for i in range(100):
    print "writing", i
    with open(fname, 'w') as fh:
        fh.write(str(i))
    wait_time = random.randint(10, 5000) / 1000.0
    time.sleep(wait_time)
"""