getPoolName method
Implementation
String getPoolName(String? dir, String? dbn) {
if (dir == null)
directory = C_DEFAULT_DIR;
else
directory = dir;
if (dbn == null)
dataBaseName = C_DEFAULT_DBNAME;
else
dataBaseName = dbn;
return getDBType().toString() + ":" + directory.toString() + "/" + dataBaseName.toString();
}