Clean up resources in DRC.

This commit is contained in:
Matthias Koefferlein 2019-02-18 23:44:14 +01:00
parent 3918172c6a
commit a69e27b769
1 changed files with 4 additions and 0 deletions

View File

@ -4717,8 +4717,12 @@ CODE
@output_layout_file = nil
@output_cell = nil
@output_rdb_file = nil
@output_rdb_cell = nil
@output_rdb = nil
@output_rdb_index = nil
# clean up temp data
@dss && @dss._destroy
if final && @log_file
@log_file.close