battlecode-server-2017 icon indicating copy to clipboard operation
battlecode-server-2017 copied to clipboard

Published 20 hours ago • verified publisher icon battlecode

Make Config options attributes

Open kazimuth opened this issue 9 years ago • 0 comments

That is, change the Config API from being:

config.getInt("port")

to

config.port

This will make refactoring significantly easier, since we can know what config options are used where.

kazimuth avatar Jul 19 '15 04:07 kazimuth