|
@@ -75,6 +75,7 @@ public:
|
|
Error kill(const ProcessID &p_pid) override;
|
|
Error kill(const ProcessID &p_pid) override;
|
|
int get_process_id() const override;
|
|
int get_process_id() const override;
|
|
int get_processor_count() const override;
|
|
int get_processor_count() const override;
|
|
|
|
+ int get_default_thread_pool_size() const override { return 1; }
|
|
|
|
|
|
String get_executable_path() const override;
|
|
String get_executable_path() const override;
|
|
Error shell_open(String p_uri) override;
|
|
Error shell_open(String p_uri) override;
|