fix #653, overuse of Redis KEYS in mirror