in test-runtimes/python/redis.py [0:0]
def main(args):
r = redis.from_url(args.get("redis_url"))
r.ping()
p = args.get("redis_prefix")
r.set(f"{p}hello", "world")
name = r.get(f"{p}hello").decode()
greeting = "Hello " + str(name) + "!"
return {"body": greeting}