diff --git a/src/ply/yacc.py b/src/ply/yacc.py index 6528796..ecf6384 100644 --- a/src/ply/yacc.py +++ b/src/ply/yacc.py @@ -102,6 +102,10 @@ def warning(self, msg, *args, **kwargs): def error(self, msg, *args, **kwargs): self.f.write('ERROR: ' + (msg % args) + '\n') + def __del__(self): + if self.f != sys.stderr: + self.f.close() + critical = debug # Null logger is used when no output is generated. Does nothing.