147: #line 197 "input_frame.ipk" 148: def file_pass(self): 149: while 1: 150: try: 151: file,count,line = self.readline() 152: 153: echo = 0 154: if self.userdict.has_key('echo_input'): 155: echo = self.userdict['echo_input'] 156: if self.verbosity>=6 or echo and self.verbosity!=0: 157: print '%s %6s: %s' % (file,count,line) 158: for r in self.reg_list: 159: match = r[0].match(line) 160: if match: 161: r[1](match,file,count,self.process.global_frame.__dict__,self.userdict) 162: break 163: except eoi: 164: if self.verbosity>=3: print 'EOI detected' 165: if self.verbosity>=4: print 'Poping input stack' 166: if self.tangler: 167: self.select(None) 168: self.close() 169: return 170: except KeyboardInterrupt: 171: print '!!!!!!!!! KEYBOARD INTERRUPT !!!!!!!!!' 172: self.process.update_files = 0 173: self.close() 174: raise KeyboardInterrupt 175: except SystemExit,value: 176: print '!!!!!!!!! SYSTEM EXIT !!!!!!!!!' 177: self.process.update_files = 0 178: self.close() 179: raise SystemExit,value 180: except: 181: if self.verbosity>=1: 182: print '!!!!!!!!! PROGRAM ERROR !!!!!!!!!' 183: traceback.print_exc() 184: self.process.update_files = 0 185: self.close() 186: sys.exit(1) 187: