1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
|
import io
import ecdsa
import hashlib
import yaml
import base64
import sys
import configschema
def render_path(path):
if path:
return "'" + ", ".join(path) + "'"
else:
return "the top level"
import traceback
class ErrorHandlingDict(dict):
def __init__(self, filename, path, optionals):
self._filename = filename
self._path = path
self._optionals = optionals
dict.__init__({})
def get(self, key, default=None):
path = "/".join(self._path + [key])
if path in self._optionals:
return dict.get(self, key, default)
print >>sys.stderr, "error: read key", path, "optionally with default", default
traceback.print_stack()
sys.exit(1)
def __missing__(self, key):
path = render_path(self._path)
print >>sys.stderr, "error: could not find configuration key '%s' at %s in %s" % (key, path, self._filename)
sys.exit(1)
def errorhandlify(term, filename, optionals, path=[]):
if isinstance(term, basestring):
return term
elif isinstance(term, int):
return term
elif isinstance(term, dict):
result = ErrorHandlingDict(filename, path, optionals)
for k, v in term.items():
result[k] = errorhandlify(v, filename, optionals, path + [k])
return result
elif isinstance(term, list):
return [errorhandlify(e, filename, optionals, path + ["item %d" % i]) for i, e in enumerate(term, start=1)]
else:
print "unknown type", type(term)
sys.exit(1)
def verify_config(rawconfig, signature, publickey_base64, filename):
publickey = base64.decodestring(publickey_base64)
try:
vk = ecdsa.VerifyingKey.from_der(publickey)
vk.verify(signature, rawconfig, hashfunc=hashlib.sha256,
sigdecode=ecdsa.util.sigdecode_der)
except ecdsa.keys.BadSignatureError:
print >>sys.stderr, "error: configuration file %s did not have a correct signature" % (filename,)
sys.exit(1)
return common_read_config(io.BytesIO(rawconfig), filename, localconfig=False)
def verify_and_read_config(filename, publickey_base64):
rawconfig = open(filename).read()
signature = open(filename + ".sig").read()
return verify_config(rawconfig, signature, publickey_base64, filename)
def insert_schema_path(schema, path, datatype, highleveldatatype):
if len(path) == 1:
schema[path[0]] = (datatype, highleveldatatype)
else:
if path[0] not in schema:
schema[path[0]] = {}
insert_schema_path(schema[path[0]], path[1:], datatype, highleveldatatype)
def transform_schema(in_schema):
schema = {}
for (rawpath, datatype, highleveldatatype) in in_schema:
path = rawpath.split("/")
insert_schema_path(schema, path, datatype, highleveldatatype)
return schema
def check_config_schema(config, schema):
transformed_schema = transform_schema(schema)
problems = check_config_schema_part(config, transformed_schema)
if problems:
haserrors = False
for problem in problems:
if problem.startswith("error:"):
haserrors = True
else:
assert(problem.startswith("WARNING:"))
print >>sys.stderr, problem
if haserrors:
sys.exit(1)
def check_config_schema_part(term, schema, path=[]):
joined_path = render_path(path)
problems = []
if isinstance(term, basestring):
(schema_lowlevel, schema_highlevel) = schema
if schema_lowlevel != "string":
problems.append("error: expected %s at %s, not a string" % (schema_lowlevel, joined_path,))
elif isinstance(term, int):
(schema_lowlevel, schema_highlevel) = schema
if schema_lowlevel != "integer":
problems.append("error: expected %s at %s, not an integer" % (schema_lowlevel, joined_path,))
elif isinstance(term, dict):
if not isinstance(schema, dict):
problems.append("error: expected %s at %s, not a key" % (schema, joined_path,))
for k, v in term.items():
schema_part = schema.get(k)
if schema_part == None and len(schema.keys()) == 1 and schema.keys()[0].startswith("*"):
schema_part = schema[schema.keys()[0]]
if schema_part == None:
problems.append("WARNING: configuration key '%s' at %s unknown" % (k, joined_path))
del term[k]
continue
problems.extend(check_config_schema_part(v, schema_part, path + [k]))
elif isinstance(term, list):
if not isinstance(schema, dict):
problems.append("error: expected %s at %s, not a list" % (schema, joined_path,))
schema_part = schema.get("[]")
if schema_part == None:
problems.append("error: expected dict at %s, not a list" % (joined_path,))
for i, e in enumerate(term, start=1):
problems.extend(check_config_schema_part(e, schema_part, path + ["item %d" % i]))
else:
print >>sys.stderr, "unknown type", type(term)
sys.exit(1)
return problems
def insert_defaults(config, configdefaults):
for (rawpath, value) in configdefaults:
path = rawpath.split("/")
node = config
for e in path[:-1]:
assert(e != "[]")
node = node[e]
lastelem = path[-1]
if lastelem not in node:
node[lastelem] = value
def common_read_config(f, filename, localconfig=True):
if localconfig:
schema = configschema.localconfigschema
configdefaults = configschema.localconfigdefaults
optionals = configschema.localconfigoptionals
else:
schema = configschema.globalconfigschema
configdefaults = configschema.globalconfigdefaults
optionals = configschema.globalconfigoptionals
config = yaml.load(f, yaml.SafeLoader)
insert_defaults(config, configdefaults)
check_config_schema(config, schema)
return errorhandlify(config, filename, optionals)
def read_config(filename, localconfig=True):
return common_read_config(open(filename), filename, localconfig=localconfig)
|
