Fixed a bug that could cause the machine count to not properly update in response to searches #303

Closed npwoods closed 2 years ago