WIP: Flush OS cache ("local" only)

Nikolay Samokhvalovrequested to merge
local-flush-os-cache into master

When executing reset command, flush OS cache. Postgres cache (the buffer pool) will be reset automatically, because we restart Postgres.

WIP. Maybe it is better to have this as a separate command.

TODO

  • tabs
  • non-local modes
  • decide: have it inside reset? And/or separate command to flush caches?
Edited by Nikolay Samokhvalov

Merge request reports