diff options
| author | Pawel Jakub Dawidek <[email protected]> | 2024-01-17 08:51:07 -0800 |
|---|---|---|
| committer | GitHub <[email protected]> | 2024-01-17 08:51:07 -0800 |
| commit | f45dd90f34cf8dadecc0236f9016046a6bf54ee5 (patch) | |
| tree | c1540f69ef41f55a7591a24c23c1d2096e5dbe06 /.github | |
| parent | f0bf7a247dbb030d68c7fd2b5526dd111cc775d0 (diff) | |
Fix cloning into mmaped and cached file.
If the destination file is mmaped and the mmaped region was already
read, so it is cached, we need to update mmaped pages after successful
clone using update_pages().
Reviewed-by: Alexander Motin <[email protected]>
Reviewed-by: Brian Behlendorf <[email protected]>
Pointed out by: Ka Ho Ng <[email protected]>
Signed-off-by: Pawel Jakub Dawidek <[email protected]>
Closes #15772
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions