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 /core/os | |
parent | ed5e0499ff9b043e52086d6e29031b3ab9c9ca32 (diff) | |
parent | f3c1232c5984a540c33841694469febbe951e7a8 (diff) |
Merge pull request #51682 from mdavisprog/os-is-process-running
OS::is_process_running function.
Diffstat (limited to 'core/os')
-rw-r--r-- | core/os/os.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/core/os/os.h b/core/os/os.h index a7cf3f1679..5eac77d634 100644 --- a/core/os/os.h +++ b/core/os/os.h @@ -152,6 +152,7 @@ public: virtual Error create_instance(const List<String> &p_arguments, ProcessID *r_child_id = nullptr) { return create_process(get_executable_path(), p_arguments, r_child_id); }; virtual Error kill(const ProcessID &p_pid) = 0; virtual int get_process_id() const; + virtual bool is_process_running(const ProcessID &p_pid) const = 0; virtual void vibrate_handheld(int p_duration_ms = 500); virtual Error shell_open(String p_uri); |