manager_reload 1783 src/core/main.c r = manager_reload(m); manager_reload 337 src/core/manager.h int manager_reload(Manager *m);