Johan Nordberg e899ecbf92 Ignore SIGINT when processing stdin ... Fixes #126		2014-08-17 13:22:01 +02:00
..
bunyan	Ignore SIGINT when processing stdin	2014-08-17 13:22:01 +02:00