/* ********************************** * GlobalConfig.java * GlobalConfig * **********************************/ package config; /** Class for providing configuration parameters to both administrator and player */ public class GlobalConfig { public static final String SEPAR = java.io.File.separator; public static final String DONE_FILE_SUFFIX = "_done.input"; public static final String CONFIG_FILE = "config.input"; public static final String PLAYERS_FILE = "players.input"; public static final String DEFAULT_MAX_STACK = "1M"; public static final double MAX_PRICE_ERROR = 1.0E-14; }