я в коде не разбираюсь но у меня чувство что explode(':', $server)
Да, это разбивка строки. Но мне сечас некогда с этим экспериментировать, я пока очень занят.