small fix for object manager.cpp

This commit is contained in:
Robin Müller 2020-06-04 21:04:24 +02:00
parent 71487d60ca
commit 849053b830

View File

@ -23,8 +23,8 @@ ReturnValue_t ObjectManager::insert( object_id_t id, SystemObjectIF* object) {
} else { } else {
sif::error << "ObjectManager::insert: Object id " << std::hex sif::error << "ObjectManager::insert: Object id " << std::hex
<< (int)id << std::dec << " is already in use!" << std::endl; << (int)id << std::dec << " is already in use!" << std::endl;
exit(0); //This is very severe and difficult to handle in other places. //This is very severe and difficult to handle in other places.
return this->INSERTION_FAILED; std::exit(INSERTION_FAILED);
} }
} }