manager_check_finished  857 src/core/job.c         manager_check_finished(u->manager);
manager_check_finished 1955 src/core/manager.c         manager_check_finished(m);
manager_check_finished  348 src/core/manager.h void manager_check_finished(Manager *m);