diff options
| author | Rusty Wagner <rusty.wagner@gmail.com> | 2022-10-07 21:52:36 -0400 |
|---|---|---|
| committer | Rusty Wagner <rusty.wagner@gmail.com> | 2022-10-07 21:52:36 -0400 |
| commit | ed4dbf7bad554078139dcde3b437527078dc42ec (patch) | |
| tree | 849d88a756b8d27e8ae1e5a674a8ec385f4d1191 /python/scriptingprovider.py | |
| parent | 309fc943fb48d9ce4f6f7c59f7d66bf0ca69eef1 (diff) | |
Fix one case of resources not being freed right away when closing tabs
Diffstat (limited to 'python/scriptingprovider.py')
| -rw-r--r-- | python/scriptingprovider.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/python/scriptingprovider.py b/python/scriptingprovider.py index 9237e3b5..ffc1033d 100644 --- a/python/scriptingprovider.py +++ b/python/scriptingprovider.py @@ -889,6 +889,7 @@ from binaryninja import * self.locals["current_il_function"] = None self.locals["current_il_instruction"] = None self.locals["current_il_basic_block"] = None + self.active_il_function = None self.locals["current_ui_context"] = context self.locals["current_ui_view_frame"] = view_frame |