Add 'external_port'

This commit is contained in:
Omar Roth
2019-03-08 11:37:52 -06:00
parent 79c1040796
commit bc1e62ce51
2 changed files with 4 additions and 1 deletions

View File

@@ -24,6 +24,7 @@ user: String,
registration_enabled: {type: Bool, default: true},
statistics_enabled: {type: Bool, default: false},
admins: {type: Array(String), default: [] of String},
external_port: {type: Int32 | Nil, default: nil},
})
end