1.1 --- a/docs/wiki/Server_Library Thu Oct 20 23:08:28 2022 +0200
1.2 +++ b/docs/wiki/Server_Library Fri Oct 21 19:03:05 2022 +0200
1.3 @@ -68,7 +68,6 @@
1.4 ProviderRegistry *registry();
1.5 long make_resource(offset_t *size, object_flags_t *object_flags, Resource **resource);
1.6 bool removal_pending();
1.7 -void remove();
1.8 void remove_pending(bool remove);
1.9 }}}
1.10
1.11 @@ -79,12 +78,11 @@
1.12 provider exercises its use of that provider. The `make_resource` operation
1.13 performs the creation and returns size, flags and resource instance details.
1.14
1.15 -The removal of providers can be directed using the `remove_pending` and
1.16 -`remove` operations. Where `remove_pending` has been called with a true value
1.17 -as its parameter, the `removal_pending` operation will also return a true
1.18 -value, and upon the provider being discarded, the `remove` operation will be
1.19 -invoked. The `remove` operation performs the appropriate underlying operation
1.20 -to remove the object being provided.
1.21 +The removal of providers can be directed using the `remove_pending` operation.
1.22 +Where `remove_pending` has been called with a true value as its parameter, the
1.23 +`removal_pending` operation will also return a true value, and upon the
1.24 +provider being discarded, a removal operation will be invoked on the
1.25 +underlying object being provided.
1.26
1.27 Typically, removal of providers is managed by the provider registry when
1.28 resources are closed and detached from providers.
1.29 @@ -101,7 +99,7 @@
1.30
1.31 ResourceServer -> Resource [label="close"];
1.32 Resource -> ProviderRegistry [label="detach"];
1.33 - ProviderRegistry -> Provider [label="remove"];
1.34 + ProviderRegistry -> Provider [label="delete"];
1.35 }
1.36 }}}
1.37