1.1 --- a/files/file_pager.cc Wed Mar 31 01:06:22 2021 +0200
1.2 +++ b/files/file_pager.cc Wed Mar 31 23:54:51 2021 +0200
1.3 @@ -4,8 +4,9 @@
1.4 /* Initialise a pager for a file with a unique file identifier and shared page
1.5 mapper for moderating access to loaded pages. */
1.6
1.7 -FilePager::FilePager(fileid_t fileid, PageMapper *mapper, flags_t flags)
1.8 -: Pager(mapper, flags), fileid(fileid)
1.9 +FilePager::FilePager(fileid_t fileid, PageMapper *mapper, flags_t flags,
1.10 + Paging *paging)
1.11 +: Pager(mapper, flags), _paging(paging), fileid(fileid)
1.12 {
1.13 }
1.14
1.15 @@ -21,6 +22,16 @@
1.16
1.17
1.18
1.19 +/* Close the pager, removing the mapper from the paging registry if
1.20 + appropriate. */
1.21 +
1.22 +void FilePager::close()
1.23 +{
1.24 + _paging->detach_pager(fileid, _mapper);
1.25 +}
1.26 +
1.27 +
1.28 +
1.29 /* File-specific operations. */
1.30
1.31 long FilePager::flush(offset_t populated_size, offset_t *size)