| 221 | } |
| 222 | |
| 223 | void EditorRun::stop_child_process(OS::ProcessID p_pid) { |
| 224 | if (has_child_process(p_pid)) { |
| 225 | OS::get_singleton()->kill(p_pid); |
| 226 | pids.erase(p_pid); |
| 227 | } |
| 228 | } |
| 229 | |
| 230 | void EditorRun::stop() { |
| 231 | if (status != STATUS_STOP && pids.size() > 0) { |