Re: [Python-Dev] quit() on the prompt