[Python-Dev] a quit that actually quits

[skip@pobox.com]

    Martin> So if they do

    >>> quit
    <function quit at 0xb7d96294>

    Martin> they are just as confused as if they got a name error.

Probably more so... <wink>

Skip