drmem-db-redis

This crate provides a storage module for the DrMem control system that uses a Redis server for its device history and meta-information.