Searched refs:default_pool_name (Results 1 – 1 of 1) sorted by relevance
26 const char *default_pool_name = "default_envlibrados_pool"; variable1493 default_pool_name); in Default()