diff options
Diffstat (limited to 'platform/web/os_web.h')
| -rw-r--r-- | platform/web/os_web.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/platform/web/os_web.h b/platform/web/os_web.h index 537b05048a..eeeafdac34 100644 --- a/platform/web/os_web.h +++ b/platform/web/os_web.h @@ -85,6 +85,7 @@ public: 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_process_exit_code(const ProcessID &p_pid) const override; int get_processor_count() const override; String get_unique_id() const override; int get_default_thread_pool_size() const override { return 1; } |