redis export function (commented out for now)