580: #line 856 "input_frame.ipk" 581: def do_exec_line(self,match, file,count,glb,user): 582: self.process.py_exec(match.group(1),file,count,glb,user) 583: