#pragma once
/* A trivial class to run a function at the end of a scope. */
class Finally
{
private:
    std::function<void()> fun;
public:
    Finally(std::function<void()> fun) : fun(fun) { }
    ~Finally() { fun(); }
};

 build-result.hh counter.hh token-server.hh state.hh db.hh \
 finally.hh

 build-result.hh counter.hh token-server.hh state.hh db.hh