diff options
| author | Anish <anishbhobe@hotmail.com> | 2019-03-11 16:37:22 +0530 |
|---|---|---|
| committer | Anish <anishbhobe@hotmail.com> | 2019-03-11 16:41:30 +0530 |
| commit | bd22b1cbe6088accf46493c304e17f616042ad68 (patch) | |
| tree | 5b44221376358fad1a34a6723629e9692d8ca0f2 /doc/tools | |
| parent | 91d3ea0d1f33af26328c741835a8ff72c58d34d7 (diff) | |
Fixes segfault on opening incompatible files.
If a file cannot be opened by the plugin connected, the engine
would crash. This has been fixed by quitting the open_file() method
early.
Diffstat (limited to 'doc/tools')
0 files changed, 0 insertions, 0 deletions