occlum/demos/cluster_serving/start-redis.sh
2021-06-17 17:14:40 +08:00

9 lines
182 B
Bash
Executable File

#!/bin/bash
# set -x
echo "### Launching Redis ###"
REDIS_PORT=6379
$REDIS_HOME/src/redis-server --port $REDIS_PORT \
--protected-mode no --maxmemory 10g | tee ./redis-sgx.log