Release v5.0.0 #657

Merged
gaisser merged 578 commits from development into master 2022-07-25 15:05:57 +02:00
1 changed files with 1 additions and 0 deletions
Showing only changes of commit 4d34f93cfc - Show all commits

View File

@ -253,6 +253,7 @@ void DeviceHandlerBase::decrementDeviceReplyMap() {
if (timedOut) {
replyToReply(replyPair.first, replyPair.second, TIMEOUT);
missedReply(replyPair.first);
timedOut = false;
}
}
}