diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-07-29 18:39:49 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-29 18:39:49 +0200 |
| commit | 140905df8dd4147dc465b2cfb4416a27260e1b9c (patch) | |
| tree | b41435bfa4127df90f726c6e844658aa18ef4684 | |
| parent | 8ee7adac1e285b47bd16d7420365fc5976a88a78 (diff) | |
| parent | a03af773e83f4acf71842de3f3c8a02fef600fcf (diff) | |
Merge pull request #51024 from Chaosus/clear_processes_ids
Clear debug process identifiers array at `stop()` to prevent invalid checking of them
| -rw-r--r-- | editor/editor_run.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editor/editor_run.cpp b/editor/editor_run.cpp index 4fadbf5922..8a7ec9aa82 100644 --- a/editor/editor_run.cpp +++ b/editor/editor_run.cpp @@ -270,6 +270,7 @@ void EditorRun::stop() { for (const OS::ProcessID &E : pids) { OS::get_singleton()->kill(E); } + pids.clear(); } status = STATUS_STOP; |