// FIXME: make these private
ActorList process_list_;
- std::vector<kernel::actor::ProcessArg*> auto_restart_processes_;
- std::map<std::string, kernel::actor::ProcessArg*> actors_at_boot_;
+ std::vector<kernel::actor::ProcessArg*> actors_at_boot_;
};
}
}