Catch BrokenPipeError to make script quieter when being piped to less and we don't consume all the output.
Catch BrokenPipeError to make script quieter when being piped to
less and we don't consume all the output.

symbooglix/boogie-runner,symbooglix/boogie-runner