192: #line 239 "input_frame.ipk" 193: def file_pass(self): 194: while 1: 195: try: 196: file,count,line = self.readline() 197: 198: self.echo = 'input' in self.process.trace 199: if self.echo: 200: print '%s %6s: %s' % (file,count,line) 201: for r in self.reg_list: 202: match = r[0].match(line) 203: if match: 204: r[1](match,file,count,self.userdict) 205: break 206: except eoi: 207: if 'frames' in self.process.trace: 208: print 'EOI detected' 209: if self.current_tangler: 210: self.select(None) 211: self.close() 212: return 213: except KeyboardInterrupt: 214: print '!!!!!!!!! KEYBOARD INTERRUPT !!!!!!!!!' 215: self.process.update_files = 0 216: self.close() 217: raise KeyboardInterrupt 218: except process_fault,value: 219: print '!!!!!!!!! PROCESS FAULT ',value,' !!!!!!!!!' 220: self.process.update_files = 0 221: self.close() 222: raise 223: except SystemExit,value: 224: print '!!!!!!!!! SYSTEM EXIT !!!!!!!!!' 225: self.process.update_files = 0 226: self.close() 227: raise SystemExit,value 228: except: 229: print '!!!!!!!!! PROGRAM ERROR !!!!!!!!!' 230: traceback.print_exc() 231: self.process.update_files = 0 232: self.close() 233: sys.exit(1) 234: