efficient/catbench

exit 0 solution isn't allowed to kill the server

solb opened this issue · 1 comments

solb commented

since the latter action must be done as root. This means that ^C'ing the script can leave the server running.

solb commented

Once this has been resolved (i.e. we know that the exit 0 solution is finalized/generally workable), we should also cherry-pick 422c41c and f1fd47a to cachenice_benchmark.