The only server I think you're talking about is hugbox.cc

If that's not it then I'm not familiar with what you are referring to