134: #line 183 "input_frame.ipk" 135: def close(self): 136: if self.verbosity>=6: 137: print 'closing frame',self.source.name 138: del self.userdict 139: del self.tangler 140: del self.weaver 141: del self.reg_list 142: while self.tangler_stack: del self.tangler_stack[-1] 143: while self.weaver_stack: del self.weaver_stack[-1] 144: try: raise eoi 145: except: pass 146: