{
  "$schema": "http://json-schema.org/draft-07/schema#",
  "title": "ServerProperties",
  "type": "object",
  "properties": {
    "addr": {
      "default": "0.0.0.0:50052",
      "type": "string"
    },
    "name": {
      "default": "Spah's sappin' mah sentreh",
      "type": "string"
    },
    "use_colors": {
      "default": true,
      "type": "boolean"
    }
  }
}