1.1 --- a/dstest_test_client.cc Tue Feb 23 22:55:36 2021 +0100
1.2 +++ b/dstest_test_client.cc Tue Feb 23 23:22:41 2021 +0100
1.3 @@ -137,8 +137,8 @@
1.4 }
1.5 }
1.6
1.7 + ipc_cap_free_um(file_ref);
1.8 ipc_detach_dataspace(memory);
1.9 - ipc_cap_free_um(file_ref);
1.10
1.11 return L4_EOK;
1.12 }
1.13 @@ -240,8 +240,8 @@
1.14
1.15 /* Discard the context. */
1.16
1.17 + ipc_cap_free_um(context_ref);
1.18 ipc_detach_dataspace(filename);
1.19 - ipc_cap_free_um(context_ref);
1.20
1.21 printf("End: %ld\n", fileid);
1.22 return L4_EOK;