diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-12-20 16:28:42 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-12-20 16:28:42 +0100 |
| commit | fd8f679b13c3906d15a6f4a9d9e38c7705e76b9f (patch) | |
| tree | 97e210b58713bab4d64dac1c94d16d8d338a0918 /main | |
| parent | 360449a0943970274311ceebd71dcb85637f110f (diff) | |
| parent | 0f223783dca992d15ce2f5bfd8c8b92899c7a1b6 (diff) | |
Merge pull request #14860 from chongdashu/fix-12946-crash-editor-save-exit
Fix editor crash on "save and exit" bug
Diffstat (limited to 'main')
| -rw-r--r-- | main/main.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/main/main.cpp b/main/main.cpp index b53e9ef0f7..5648676c4c 100644 --- a/main/main.cpp +++ b/main/main.cpp @@ -1871,6 +1871,7 @@ void Main::cleanup() { if (engine) memdelete(engine); + message_queue->flush(); memdelete(message_queue); unregister_core_driver_types(); |