repl: invoke the appropriate console function

On the server-side.