Skip to content

Commit

Permalink
Removed the errorDetails property since it is not used anymore.
Browse files Browse the repository at this point in the history
  • Loading branch information
MichaelRoeder committed Dec 17, 2023
1 parent 2e630e5 commit 1c5c314
Showing 1 changed file with 0 additions and 3 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -843,9 +843,6 @@ public void handleErrorReport(String sessionId, ErrorData errorData, boolean isB
if (errorData.getDescription() != null) {
resultModel.add(error, RDFS.comment, errorData.getDescription());
}
if (errorData.getDetails() != null) {
resultModel.add(error, Algorithm.errorDetails, errorData.getDetails());
}
synchronized (experimentMutex) {
// Check again whether we are still working on the same experiment
if (isExpRunning(sessionId)) {
Expand Down

0 comments on commit 1c5c314

Please sign in to comment.