2016-01-19 11:41:03 +01:00
|
|
|
#!/bin/bash
|
|
|
|
|
|
|
|
set -e
|
|
|
|
set -x
|
|
|
|
|
2017-08-23 12:28:12 +02:00
|
|
|
[ -z "$AIL_HOME" ] && echo "Needs the env var AIL_HOME. Run the script from the virtual environment." && exit 1;
|
|
|
|
[ -z "$AIL_REDIS" ] && echo "Needs the env var AIL_REDIS. Run the script from the virtual environment." && exit 1;
|
|
|
|
[ -z "$AIL_LEVELDB" ] && echo "Needs the env var AIL_LEVELDB. Run the script from the virtual environment." && exit 1;
|
|
|
|
|
2016-01-19 11:41:03 +01:00
|
|
|
conf_dir="${AIL_HOME}/configs/"
|
|
|
|
|
|
|
|
screen -dmS "Redis"
|
|
|
|
sleep 0.1
|
|
|
|
echo -e $GREEN"\t* Launching Redis servers"$DEFAULT
|
2016-02-04 15:24:39 +01:00
|
|
|
screen -S "Redis" -X screen -t "6379" bash -c '../redis/src/redis-server '$conf_dir'6379.conf ; read x'
|
2016-01-19 11:41:03 +01:00
|
|
|
sleep 0.1
|
2016-02-04 15:24:39 +01:00
|
|
|
screen -S "Redis" -X screen -t "6380" bash -c '../redis/src/redis-server '$conf_dir'6380.conf ; read x'
|
2016-01-19 11:41:03 +01:00
|
|
|
sleep 0.1
|
2016-02-04 15:24:39 +01:00
|
|
|
screen -S "Redis" -X screen -t "6381" bash -c '../redis/src/redis-server '$conf_dir'6381.conf ; read x'
|
2016-01-19 11:41:03 +01:00
|
|
|
|
2016-08-23 16:01:11 +02:00
|
|
|
# For Words and curves
|
|
|
|
sleep 0.1
|
|
|
|
screen -S "Redis" -X screen -t "6382" bash -c '../redis/src/redis-server '$conf_dir'6382.conf ; read x'
|