Code Editor : process_stdinreader.py