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