- added restartmanager.cpp to manage deadlocks