diff options
| author | Yuri Roubinsky <chaosus89@gmail.com> | 2021-07-29 19:08:15 +0300 |
|---|---|---|
| committer | Yuri Roubinsky <chaosus89@gmail.com> | 2021-07-29 19:08:15 +0300 |
| commit | a03af773e83f4acf71842de3f3c8a02fef600fcf (patch) | |
| tree | 05928541ca8b4149b42ceecb0a1abe42d09c3c4d | |
| parent | 4a3430bd27ca4be5e9dd9cb5997f6894e9acbefd (diff) | |
Clear debug process id 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; |