Diff

core/portmanager.lua @ 6509:7cb69eba3e95

net.dns: Try next server if peer name can not be set (thanks wirehack7)
author Kim Alvefur <zash@zash.se>
date Thu, 30 Oct 2014 12:28:07 +0100
parent 6041:a97591d2e1ad
child 6054:7a5ddbaf758d
child 7077:0386ccf20ac7
line wrap: on
line diff