L4Re/departure

Change of libfsserver/lib/files/file_pager.cc

386:7b7a35cc68e6
libfsserver/lib/files/file_pager.cc mmap-region-flags
     1.1 --- a/libfsserver/lib/files/file_pager.cc	Sun Jun 26 23:44:09 2022 +0200
     1.2 +++ b/libfsserver/lib/files/file_pager.cc	Sun Jun 26 23:44:34 2022 +0200
     1.3 @@ -54,9 +54,10 @@
     1.4  
     1.5  void FilePager::close()
     1.6  {
     1.7 -    /* Notify other users of the file. */
     1.8 +    /* Notify other users of the file and unsubscribe. */
     1.9  
    1.10      _provider->notify_others(_endpoint, NOTIFY_PEER_CLOSED);
    1.11 +    unsubscribe();
    1.12  
    1.13      /* Detach the pager, potentially removing the file provider. */
    1.14