Skip to content

Instantly share code, notes, and snippets.

@uberto

uberto/ServerConfig.java

Created August 13, 2017 16:35
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save uberto/8758b3fdcbb31d640a3858303f30444c to your computer and use it in GitHub Desktop.
Save uberto/8758b3fdcbb31d640a3858303f30444c to your computer and use it in GitHub Desktop.
Download ZIP
Owner configuration interface
Raw
ServerConfig.java
import org.aeonbits.owner.Config;
import org.aeonbits.owner.Config.Sources;
import java.util.List;
/**
* Keeps the configuration values for the server
*/
@Sources({ "file:config.properties" })
public interface ServerConfig extends Config {
@DefaultValue("8008")
int port();
List<String> users();
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment