equal
deleted
inserted
replaced
507 r'_orig', |
507 r'_orig', |
508 r'_observer', |
508 r'_observer', |
509 ) |
509 ) |
510 |
510 |
511 def __init__(self, fh, observer): |
511 def __init__(self, fh, observer): |
512 object.__setattr__(self, '_orig', fh) |
512 object.__setattr__(self, r'_orig', fh) |
513 object.__setattr__(self, '_observer', observer) |
513 object.__setattr__(self, r'_observer', observer) |
514 |
514 |
515 def __getattribute__(self, name): |
515 def __getattribute__(self, name): |
516 ours = { |
516 ours = { |
517 r'_observer', |
517 r'_observer', |
518 |
518 |