Redis

How to connect to a Redis Resource using the Formal Connector

Requirements

Networking

Certain ports must be accessible to connect to Formal Resources. You can listen on multiple ports simultaneously for various Resources.

For accessing Redis, you may assign any port except 8080 (Connector’s health check port). Ensure your security groups are configured to allow traffic on the designated port.

Connect to Redis

redis-cli

To connect using redis-cli, execute the following command:

redis-cli -h CONNECTOR_HOSTNAME -p PORT -a FORMAL_PASSWORD

Make sure to replace CONNECTOR_HOSTNAME, PORT, and FORMAL_PASSWORD with the right values. To learn more about users, check out Native Users.

You can access your Formal Credentials in the Formal console.

You are free to use any preferred client.

Policy Evaluation

Formal supports the following policy evaluation stages for Redis:

• Session: Evaluate and enforce policies at connection time
• Request: Evaluate and enforce policies at request time before command execution

End-user Identity Propagation

Formal supports end-user identity propagation for Redis commands. To enable this, you can use the CLIENT SETNAME command to set the end-user identity.

CLIENT SETNAME formal_enduser=[e-mail]

This will set the end-user identity to [e-mail] for the current connection.