Merge pull request #14860 from chongdashu/fix-12946-crash-editor-save-exit

Fix editor crash on "save and exit" bug
This commit is contained in:
Rémi Verschelde 2017-12-20 16:28:42 +01:00 committed by GitHub
commit fd8f679b13
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -1871,6 +1871,7 @@ void Main::cleanup() {
if (engine)
memdelete(engine);
message_queue->flush();
memdelete(message_queue);
unregister_core_driver_types();