Many thanks for that. It looks like I'll be upgrading from 5.10 to 5.14 when it comes, in the hope that this patch addresses the OP problem.
Though I do wonder if my one-line patch wouldn't have fixed that too?
In reply to Re^3: What could cause excessive page faults? (A fix)
by BrowserUk
in thread What could cause excessive page faults?
by BrowserUk
| For: | Use: | ||
| & | & | ||
| < | < | ||
| > | > | ||
| [ | [ | ||
| ] | ] |