python stdin read timeout