порт то у него,на самом деле, 12345

но он там и должен быть прописан

причина может быть в следущем:
- его комп офлайн
- айпишник динамический
- он настроил сервер на др. порт