diff options
author | Frank Seide <fseide@microsoft.com> | 2018-10-08 23:29:16 +0300 |
---|---|---|
committer | Frank Seide <fseide@microsoft.com> | 2018-10-08 23:29:16 +0300 |
commit | 96646ec443d2e611389ebfc8005b4d3249848354 (patch) | |
tree | baae8c44e66d6350b5932e8d76b4a80482baa6b2 /.gitattributes | |
parent | 85c1d869f64e91ec3cbf3b4eb9ac150ea1a0a29d (diff) |
revisited fillBatches() and optimized it a little;
added try-catch to nail down that EAGAIN observed in Philly;
temporarily changed the fillBatches() criterion to threshold of 100 (should make little difference);
bug fix: Corpus::next() should check for inconsistent end of data across streams;
minor fix: MPI rank in log is now padded to same #digits for all ranks, for better readable logs
Diffstat (limited to '.gitattributes')
-rw-r--r-- | .gitattributes | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.gitattributes b/.gitattributes new file mode 100644 index 00000000..e5b09931 --- /dev/null +++ b/.gitattributes @@ -0,0 +1,2 @@ +# git should never touch line endings +* -text |