584: #line 861 "input_frame.ipk" 585: def do_exec_suite(self,match,file,count,glb,user): 586: saved = self.collect_stuff(match.group(1), self.cont_re, user['echo_input']) 587: self.process.py_exec(saved,file,count,glb,user) 588: