boost::unordered_map<std::string, Host*> *Host::hosts
= new boost::unordered_map<std::string, Host*>();
boost::unordered_map<std::string, Host*> *Host::hosts
= new boost::unordered_map<std::string, Host*>();
p_inferior = sg_host_by_name(name);
if (p_inferior==NULL)
xbt_die("No such host: %s",name); //FIXME: raise an exception
p_inferior = sg_host_by_name(name);
if (p_inferior==NULL)
xbt_die("No such host: %s",name); //FIXME: raise an exception
}
boost::unordered_map<std::string, Storage&> &Host::mountedStorages() {
if (mounts == NULL) {
mounts = new boost::unordered_map<std::string, Storage&> ();
}
boost::unordered_map<std::string, Storage&> &Host::mountedStorages() {
if (mounts == NULL) {
mounts = new boost::unordered_map<std::string, Storage&> ();