[PATCH 2/3] servmon(): optimization