| 1417 | } |
| 1418 | |
| 1419 | void TOPPASScene::logToolCrashed() |
| 1420 | { |
| 1421 | TOPPASToolVertex* tv = qobject_cast<TOPPASToolVertex*>(QObject::sender()); |
| 1422 | if (tv) |
| 1423 | { |
| 1424 | String text = tv->getName(); |
| 1425 | String type = tv->getType(); |
| 1426 | if (!type.empty()) |
| 1427 | { |
| 1428 | text += " (" + type + ")"; |
| 1429 | } |
| 1430 | text += " crashed!"; |
| 1431 | |
| 1432 | if (!gui_) |
| 1433 | { |
| 1434 | std::cout << '\n' << text << std::endl; |
| 1435 | } |
| 1436 | |
| 1437 | writeToLogFile_(text.toQString()); |
| 1438 | } |
| 1439 | } |
| 1440 | |
| 1441 | void TOPPASScene::logOutputFileWritten(const String& file) |
| 1442 | { |