1.1 --- a/libresource/include/resource/resource_server.h Wed Mar 22 16:15:04 2023 +0100
1.2 +++ b/libresource/include/resource/resource_server.h Wed Mar 22 17:31:05 2023 +0100
1.3 @@ -55,11 +55,12 @@
1.4
1.5 long start(bool finalisation = false);
1.6
1.7 - long start_in_thread(l4_cap_idx_t thread, bool finalisation = false);
1.8 + long start_in_thread(l4_cap_idx_t thread);
1.9
1.10 - long start_thread(bool finalisation = true);
1.11 + long start_thread(bool finalisation = true, bool auto_deletion = true);
1.12
1.13 - long start_thread(l4_cap_idx_t *server, bool finalisation = true);
1.14 + long start_thread(l4_cap_idx_t *server, bool finalisation = true,
1.15 + bool auto_deletion = true);
1.16 };
1.17
1.18
1.19 @@ -69,8 +70,8 @@
1.20 void resource_init_config(ipc_server_config_type *config, Resource *resource);
1.21
1.22 void resource_set_config_threaded(ipc_server_config_type *config,
1.23 - l4_cap_idx_t thread, int new_thread,
1.24 - int finalisation);
1.25 + l4_cap_idx_t thread, int separate_thread,
1.26 + int finalisation, int auto_deletion);
1.27
1.28 /* Server initiation. */
1.29