Re: CHR logs messages to stdout

Kish Shen wrote:
> 
> You can redirect the log_output stream away from stdout
> if you like:
> 
> set_stream(log_output, nonstdoutstream)

Or suppress completely:

set_stream(log_output, null)

-- Joachim