Re: [etoys-dev] [Newbies] Safe shut down