If you open a pipe for reading, as in the command:
lens> loadExamples "| genex" -s "my set" -n 100
you could have a problem when the pipe is closed. A pipe might be closed
if you read enough examples or if Lens exits. The problem is that
the command started in the pipe, genex in this case, may not
die and will continue to spew data.
If the genex program was written in C, you can solve this problem by
inserting the following call in its main() function:
signal(SIGPIPE, SIG_DFL);
You may need to #include <signal.h> to do this.