1.1 --- a/server/src/fs_accessor.cc Thu Jun 25 23:39:24 2020 +0200
1.2 +++ b/server/src/fs_accessor.cc Sat Jul 04 01:19:52 2020 +0200
1.3 @@ -117,8 +117,13 @@
1.4
1.5 /* Create a semaphore and make the accessor initially available. */
1.6
1.7 - l4_factory_create(l4re_env()->factory, L4_PROTO_SEMAPHORE, _semaphore);
1.8 - l4_semaphore_up(_semaphore);
1.9 + _semaphore = l4re_util_cap_alloc();
1.10 +
1.11 + if (l4_is_valid_cap(_semaphore))
1.12 + {
1.13 + l4_factory_create(l4re_env()->factory, L4_PROTO_SEMAPHORE, _semaphore);
1.14 + l4_semaphore_up(_semaphore);
1.15 + }
1.16 }
1.17
1.18 return attached;