export const BOTS_SERVER_BOT_NAME = 'Server' ; export const BOTS_SERVER_BOT_FLAG = 'JOLLY' ; export const BOTS_IP_LIST_ENABLED = true ; export const BOTS_DEFAULT_IP_LIST = [ '127.0.0.1' ] ; export const BOTS_DEFAULT_NAME_PREFIX = '' ;