def stop_sys_pipes():
global _mighty_wurlitzer<EOL>if _mighty_wurlitzer is not None:<EOL><INDENT>_mighty_wurlitzer.__exit__(None, None, None)<EOL>_mighty_wurlitzer = None<EOL><DEDENT>
Stop permanent redirection started by sys_pipes_forever