diff options
| author | Trond Myklebust <[email protected]> | 2020-11-02 20:11:32 -0500 |
|---|---|---|
| committer | Trond Myklebust <[email protected]> | 2020-12-02 14:05:52 -0500 |
| commit | 9fff59ed4c4d239125f8529a9971c46defd2e2b0 (patch) | |
| tree | 92590d39069dcfba43b98bfdba764f244d309e22 /scripts/gdb/linux/lists.py | |
| parent | 82e22a5e6245873779db1607d3b0fec6f9ca07d0 (diff) | |
NFS: Handle NFS4ERR_NOT_SAME and NFSERR_BADCOOKIE from readdir calls
If the server returns NFS4ERR_NOT_SAME or tells us that the cookie is
bad in response to a READDIR call, then we should empty the page cache
so that we can fill it from scratch again.
Signed-off-by: Trond Myklebust <[email protected]>
Reviewed-by: Benjamin Coddington <[email protected]>
Tested-by: Benjamin Coddington <[email protected]>
Tested-by: Dave Wysochanski <[email protected]>
Diffstat (limited to 'scripts/gdb/linux/lists.py')
0 files changed, 0 insertions, 0 deletions