Dexter is a static analysis platform to find and remove defects efficiently and immediately during the coding-time.
BSD 2-Clause "Simplified" License
56
stars
33
forks
source link
[monitor] Display timed out server count #108
Closed
marchpig closed 7 years ago
This commit is a temporary solution to resolve #94
All current data are not displayed when there is at least one busy dexter-server. To temporarily resolve this problem,