diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-08-21 09:07:27 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-21 09:07:27 +0200 |
| commit | a1e6eeef3ec3b980c938b77a942491ee2e890c55 (patch) | |
| tree | 8fecd746eb6f827c6c442341159078b90bac0bf4 /modules/websocket/emws_server.h | |
| parent | 7b37321ae3996b8660f18ae8b2b630e9c1940621 (diff) | |
| parent | f35b1f3b9159a6c1197c24d8195000468d1c1c61 (diff) | |
Merge pull request #31521 from m4gr3d/force_quit_on_destroy
Shut down Godot processes on app exit.
Diffstat (limited to 'modules/websocket/emws_server.h')
0 files changed, 0 insertions, 0 deletions