dn42/registry
1
0
Fork 0
mirror of https://git.dn42.dev/dn42/registry.git synced 2025-07-18 16:37:01 +08:00
Code Issues Projects Releases Packages Wiki Activity Actions

update from registry

Browse source
This commit is contained in:
Jon Lundy 2017-10-27 20:31:41 +00:00
parent eb0bc0ce65
commit 486aecdc41
No known key found for this signature in database
GPG key ID: 8B3B0604F164E04F
433 changed files with 31 additions and 452 deletions
Download patch file Download diff file Expand all files Collapse all files

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

@ -101,7 +101,7 @@ class SchemaDOM:
for k, v, l in f.dom:
if k.startswith("x-"):
log.debug("%s Line %d: Key [%s] is user defined." % (f.src, l, k))
log.info("%s Line %d: Key [%s] is user defined." % (f.src, l, k))
elif k not in self.schema:
log.error("%s Line %d: Key [%s] not in schema." % (f.src, l, k))