| Index: tools/json_schema_compiler/model.py
|
| diff --git a/tools/json_schema_compiler/model.py b/tools/json_schema_compiler/model.py
|
| index 23b77c6d1402dba8ee88cf0d33b7f78b28b0ef81..b233752f3a98b4a5863f50ca00a7fe8b68d5b8af 100644
|
| --- a/tools/json_schema_compiler/model.py
|
| +++ b/tools/json_schema_compiler/model.py
|
| @@ -78,6 +78,12 @@ class Type(object):
|
| from_client=True)
|
| elif json.get('type') == 'string':
|
| self.type_ = PropertyType.STRING
|
| + elif json.get('type') == 'integer':
|
| + self.type_ = PropertyType.INTEGER
|
| + elif json.get('type') == 'double':
|
| + self.type_ = PropertyType.DOUBLE
|
| + elif json.get('type') == 'enum':
|
| + self.type_ = PropertyType.ENUM
|
| else:
|
| if not (
|
| 'properties' in json or
|
|
|