As I am already giving unique IDs to every server, I'm going to use those ID for marking and looking up servers, instead of storing a pointer to the server object. Here I renamed the corresponding methods and variables for more clarity