А через прокси TSLAB умеет подключаться к серверу?
Или настройки прокси это только для проверки обновлений?