You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
When reading multiple files across multiple tasks the end of file flag is synchronised due to some behaviour when _select_ing the streams. This bug is already fixed.
But there is currently not guarantee that there is no similar behaviour when writing to files.
Solution
Write a proof that there is no such behaviour. And if it happens there is one then fix it.
The text was updated successfully, but these errors were encountered:
Problem
When reading multiple files across multiple tasks the end of file flag is synchronised due to some behaviour when _select_ing the streams. This bug is already fixed.
But there is currently not guarantee that there is no similar behaviour when writing to files.
Solution
Write a proof that there is no such behaviour. And if it happens there is one then fix it.
The text was updated successfully, but these errors were encountered: