dn42/registry
1
0
Fork 0
mirror of https://git.dn42.dev/dn42/registry.git synced 2025-05-08 05:35:23 +08:00
Code Issues Projects Releases Packages Wiki Activity Actions

merging registry into git

Browse source
This commit is contained in:
Xuu 2017-12-30 23:18:06 +00:00
parent 16e3d8b2fd
commit b00215bb81
1 changed files with 4 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
utils/schema-check/dn42-schema.py
View file

@ -745,8 +745,9 @@ def sanity_check(dom):
if dom.schema == "dn42.inetnum":
cidr = dom.get("cidr")
Lnet, Hnet, mask = inetrange(cidr)
cidr_range = pretty_ip(Lnet) + " - " + pretty_ip(Hnet)
cidr_range = pretty_ip(Lnet) + "-" + pretty_ip(Hnet)
file_range = dom.get("inetnum")
file_range = re.sub(r"\s+", "", file_range, flags=re.UNICODE)
if cidr_range != file_range:
log.error("inetnum range [%s] does not match: [%s]" %(file_range, cidr_range))
@ -755,8 +756,9 @@ def sanity_check(dom):
if dom.schema == "dn42.inet6num":
cidr = dom.get("cidr")
Lnet, Hnet, mask = inet6range(cidr)
cidr_range = pretty_ip(Lnet) + " - " + pretty_ip(Hnet)
cidr_range = pretty_ip(Lnet) + "-" + pretty_ip(Hnet)
file_range = dom.get("inet6num")
file_range = re.sub(r"\s+", "", file_range, flags=re.UNICODE)
if cidr_range != file_range:
log.error("inetnum range [%s] does not match: [%s]" %(file_range, cidr_range))