181: #line 228 "input_frame.ipk" 182: def file_pass(self): 183: while 1: 184: try: 185: file,count,line = self.readline() 186: 187: echo = 0 188: if self.userdict.has_key('echo_input'): 189: echo = self.userdict['echo_input'] 190: if self.verbosity>=6 or echo and self.verbosity!=0: 191: print '%s %6s: %s' % (file,count,line) 192: for r in self.reg_list: 193: match = r[0].match(line) 194: if match: 195: r[1](match,file,count,self.process.global_frame.__dict__,self.userdict) 196: break 197: except eoi: 198: if self.verbosity>=3: print 'EOI detected' 199: if self.verbosity>=4: print 'Poping input stack' 200: if self.current_tangler: 201: self.select(None) 202: self.close() 203: return 204: except KeyboardInterrupt: 205: print '!!!!!!!!! KEYBOARD INTERRUPT !!!!!!!!!' 206: self.process.update_files = 0 207: self.close() 208: raise KeyboardInterrupt 209: except SystemExit,value: 210: print '!!!!!!!!! SYSTEM EXIT !!!!!!!!!' 211: self.process.update_files = 0 212: self.close() 213: raise SystemExit,value 214: except: 215: if self.verbosity>=1: 216: print '!!!!!!!!! PROGRAM ERROR !!!!!!!!!' 217: traceback.print_exc() 218: self.process.update_files = 0 219: self.close() 220: sys.exit(1) 221: