@dbutenhof, @MVarshini, there are a few more commits here than I expected, so please give this a look. Also, Dave, I had to do a manual merge on lib/pbench/server/cache_manager.py, so if you could look at that specifically, that would be good.
Once this is in and built, I'll deploy it into production.
Apparently I botched the manual merge, so I'm closing this (or, rather, GitHub did so for me, when I deleted and restored the branch). I'll try again with a new approach in a new PR.
@dbutenhof, @MVarshini, there are a few more commits here than I expected, so please give this a look. Also, Dave, I had to do a manual merge on
lib/pbench/server/cache_manager.py
, so if you could look at that specifically, that would be good.Once this is in and built, I'll deploy it into production.
Thanks!