Fix no_timeout option handling.

[ #2840 ]