1.1 --- a/libfsserver/lib/pipes/pipe_pager.cc Thu Feb 23 23:49:26 2023 +0100
1.2 +++ b/libfsserver/lib/pipes/pipe_pager.cc Sat Feb 25 18:10:13 2023 +0100
1.3 @@ -62,7 +62,8 @@
1.4
1.5 /* Notify the other endpoint and unsubscribe. */
1.6
1.7 - _paging->notify_others(_writing ? PipePaging::WRITER : PipePaging::READER, NOTIFY_PEER_CLOSED);
1.8 + _paging->notify_others(_writing ? PipePaging::WRITER : PipePaging::READER,
1.9 + NOTIFY_PEER_CLOSED, NOTIFY_VALUES_NULL);
1.10 unsubscribe();
1.11
1.12 /* Deallocate the paging coordinator if no other endpoints are active. */
1.13 @@ -170,7 +171,8 @@
1.14 // NOTE: Perhaps employ a distinct event type for metadata updates.
1.15
1.16 _paging->notify_others(_writing ? PipePaging::WRITER : PipePaging::READER,
1.17 - NOTIFY_CONTENT_AVAILABLE | NOTIFY_SPACE_AVAILABLE);
1.18 + NOTIFY_CONTENT_AVAILABLE | NOTIFY_SPACE_AVAILABLE,
1.19 + NOTIFY_VALUES_NULL);
1.20 return L4_EOK;
1.21 }
1.22