Description
When trying to configure a remote redis to be used by mudpi-core inside the mudpi.config, the settings are ignored and it tries to default to a local connection.
Reproduction
- Setup mudpi-core on host1
- Setup a redis server on host2
- Configure mudpi-core to use the redis server on host2
- Start mudpi-core and see it trying to connect to a local redis on host1
Current Workaround
Editing the hard-coded connection details in variables.py lets you define the connection details