718: #line 1006 "input_frame.ipk" 719: def do_exec_line(self,match, file,count,glb,user): 720: self.process.py_exec(match.group(1),file,count,glb,user) 721: