42
42
explicit Scheduler(std::string name_arg)
43
43
: Plugin(name_arg, "Scheduler")
48
47
* Add a session to the scheduler. When the scheduler is ready to run the
49
48
* session, it should call session->run().
54
53
* Notify the scheduler that it should be killed gracefully.
59
58
* This is called when a scheduler should kill the session immedaitely.
65
64
static bool setPlugin(const std::string& name);