some changes in redis state provider (ASP .net)