diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-08-27 17:32:43 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-08-27 17:32:43 +0200 |
| commit | 72996df656d4ecf8da22a9fe34f2fc73b91b1405 (patch) | |
| tree | 67098c296027de1899c232c6f96719abedcdacee /editor | |
| parent | c1f687c6818883f70c2b7f85577c51ed5ad65c08 (diff) | |
Revert "Try closing gracefully before terminating process"
Diffstat (limited to 'editor')
| -rw-r--r-- | editor/editor_run.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/editor/editor_run.cpp b/editor/editor_run.cpp index bbd18306a2..62870ab35c 100644 --- a/editor/editor_run.cpp +++ b/editor/editor_run.cpp @@ -196,8 +196,8 @@ Error EditorRun::run(const String &p_scene, const String p_custom_args, const Li void EditorRun::stop() { if (status != STATUS_STOP && pid != 0) { - const int max_wait_msec = GLOBAL_DEF("editor/stop_max_wait_msec", 10000); - OS::get_singleton()->kill(pid, max_wait_msec); + + OS::get_singleton()->kill(pid); } status = STATUS_STOP; |