Dont use redis keys

The redis KEYS command is not recommended for production use, and is sometimes disabled to prevent potential issues. This PR avoids using KEYS everywhere except the locks web ui page which shows an error.