changeset 7262 | d8300985f2bb |
parent 5552 | 40e7a6cf15ff |
child 12979 | d10957394a3c |
--- a/util/rfc6724.lua Thu Mar 10 17:49:46 2016 +0000 +++ b/util/rfc6724.lua Thu Mar 10 17:52:03 2016 +0000 @@ -10,7 +10,6 @@ -- We can't hand this off to getaddrinfo, since it blocks local ip_commonPrefixLength = require"util.ip".commonPrefixLength -local new_ip = require"util.ip".new_ip; local function commonPrefixLength(ipA, ipB) local len = ip_commonPrefixLength(ipA, ipB);