Fix userID counting
Improve port output in DeviceServer