made redis r.time the default one istead of time.time()