/**
* Define el prefijo de los ficheros de cache
*/
private function setPrefix($prefix = "")
{
if ($prefix != "" && preg_match('/^[0-9a-zA-Z_-]{1,30}$/', $prefix)) {
self::$prefix = $prefix;
} else {
self::$prefix = "";
}
}
