# HG changeset patch # User geert-vandeweyer # Date 1406548255 14400 # Node ID 7b3d89b8fc9f5d82f279ee200881fcd68148d731 # Parent 606e24c6fda020b4ca063af36f4e3636d53a117a Uploaded diff -r 606e24c6fda0 -r 7b3d89b8fc9f GrepFile.pl --- a/GrepFile.pl Mon Jul 28 07:45:02 2014 -0400 +++ b/GrepFile.pl Mon Jul 28 07:50:55 2014 -0400 @@ -117,10 +117,10 @@ for ($i = 1; $i<= $nrgrep ; $i++) { ${"grep$i"}->join(); } + + $printqueue->enqueue(undef); + $print->join(); } -$printqueue->enqueue(undef); -$print->join(); - system("cp $tmpdir/result.txt '$outfile'"); system("rm -Rf $tmpdir");