diff options
author | RĂ©mi Verschelde <remi@verschelde.fr> | 2022-05-04 09:02:33 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-05-04 09:02:33 +0200 |
commit | 5022efef02cd671010438ca467e7e4411d177faa (patch) | |
tree | 11bab1eea284fe82ec6f2f76dbe31c866958e2c0 /platform/javascript/os_javascript.h | |
parent | ed5e0499ff9b043e52086d6e29031b3ab9c9ca32 (diff) | |
parent | f3c1232c5984a540c33841694469febbe951e7a8 (diff) |
Merge pull request #51682 from mdavisprog/os-is-process-running
OS::is_process_running function.
Diffstat (limited to 'platform/javascript/os_javascript.h')
-rw-r--r-- | platform/javascript/os_javascript.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/platform/javascript/os_javascript.h b/platform/javascript/os_javascript.h index 09497ebc5d..0c672111cc 100644 --- a/platform/javascript/os_javascript.h +++ b/platform/javascript/os_javascript.h @@ -79,6 +79,7 @@ public: Error create_process(const String &p_path, const List<String> &p_arguments, ProcessID *r_child_id = nullptr, bool p_open_console = false) override; Error kill(const ProcessID &p_pid) override; int get_process_id() const override; + bool is_process_running(const ProcessID &p_pid) const override; int get_processor_count() const override; int get_default_thread_pool_size() const override { return 1; } |