1.1 --- a/dstest_test_server.cc Thu Mar 11 23:51:02 2021 +0100
1.2 +++ b/dstest_test_server.cc Sat Mar 13 01:36:26 2021 +0100
1.3 @@ -44,9 +44,17 @@
1.4
1.5 int main(int argc, char *argv[])
1.6 {
1.7 + long err;
1.8 +
1.9 /* Introduce concurrency control. */
1.10
1.11 - ipc_cap_alloc_init();
1.12 + err = ipc_thread_init();
1.13 +
1.14 + if (err)
1.15 + {
1.16 + printf("Initialisation error: %s\n", l4sys_errtostr(err));
1.17 + return 1;
1.18 + }
1.19
1.20 /* Configure the number of available pages using any argument. */
1.21
1.22 @@ -66,7 +74,7 @@
1.23 /* Register a server associating it with the given object. */
1.24
1.25 ResourceServer server(&opener);
1.26 - long err = server.bind("server");
1.27 + err = server.bind("server");
1.28
1.29 if (err)
1.30 {