diff test/cmp_helper.py @ 7191:c6f85484d8a4

use redis rather than redis-server redis-server is an alias and I get an info message about it when looking at config scans.
author John Rouillard <rouilj@ieee.org>
date Mon, 27 Feb 2023 00:52:16 -0500
parents 19bd4b413ed6
children
line wrap: on
line diff

Roundup Issue Tracker: http://roundup-tracker.org/