From: Jean-Hugues ROBERT <jean_hugues_robert@...>
Date: 2002-06-12T23:58:23+09:00
Subject: irb, how to exit() ?



Hello,

irb redefines exit() and exit!() so that they raise an exception
instead of exiting. This is sensible.

... well... I am experiencing a case where I need to exit. How
can I ? (btw: it is some background thread that will ask to exit)

Thanks,

Jean-Hugues