A critical Redis bug threatens thousands of servers.