On Mon, Nov 17, 2014 at 10:51 AM, Helmut Jarausch <jarau...@igpm.rwth-aachen.de> wrote: > > Should I make a bug report on this? >
See my post. I suggest testing the different input source options to understand what the actual problem is. I suspect this is an upstream bug in the implementation of system(), but I can't say for sure without testing. -- Rich
