diff options
Diffstat (limited to 'editor/editor_run.h')
-rw-r--r-- | editor/editor_run.h | 16 |
1 files changed, 6 insertions, 10 deletions
diff --git a/editor/editor_run.h b/editor/editor_run.h index b50a2c2f0e..a15d65d91b 100644 --- a/editor/editor_run.h +++ b/editor/editor_run.h @@ -42,26 +42,22 @@ public: STATUS_STOP }; - OS::ProcessID pid; + List<OS::ProcessID> pids; private: - bool debug_collisions; - bool debug_navigation; Status status; + String running_scene; public: Status get_status() const; + String get_running_scene() const; Error run(const String &p_scene, const String &p_custom_args, const List<String> &p_breakpoints, const bool &p_skip_breakpoints = false); 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(); }; |