diff options
Diffstat (limited to 'editor/editor_run.h')
-rw-r--r-- | editor/editor_run.h | 18 |
1 files changed, 6 insertions, 12 deletions
diff --git a/editor/editor_run.h b/editor/editor_run.h index 42724630b5..06050436a9 100644 --- a/editor/editor_run.h +++ b/editor/editor_run.h @@ -5,8 +5,8 @@ /* GODOT ENGINE */ /* https://godotengine.org */ /*************************************************************************/ -/* Copyright (c) 2007-2019 Juan Linietsky, Ariel Manzur. */ -/* Copyright (c) 2014-2019 Godot Engine contributors (cf. AUTHORS.md) */ +/* Copyright (c) 2007-2020 Juan Linietsky, Ariel Manzur. */ +/* Copyright (c) 2014-2020 Godot Engine contributors (cf. AUTHORS.md). */ /* */ /* Permission is hereby granted, free of charge, to any person obtaining */ /* a copy of this software and associated documentation files (the */ @@ -42,11 +42,9 @@ public: STATUS_STOP }; - OS::ProcessID pid; + List<OS::ProcessID> pids; private: - bool debug_collisions; - bool debug_navigation; Status status; public: @@ -55,13 +53,9 @@ public: void run_native_notify() { status = STATUS_PLAY; } void stop(); - OS::ProcessID get_pid() const { return pid; } - - void set_debug_collisions(bool p_debug); - bool get_debug_collisions() const; - - void set_debug_navigation(bool p_debug); - bool get_debug_navigation() const; + void stop_child_process(OS::ProcessID p_pid); + bool has_child_process(OS::ProcessID p_pid) const; + int get_child_process_count() const { return pids.size(); } EditorRun(); }; |