BGP-Ranking/cache/run_redis.sh

mirror of https://github.com/D4-project/BGP-Ranking
#!/bin/bash

set -e
set -x

../../redis/src/redis-server ./ris.conf
../../redis/src/redis-server ./prefixes.conf
new: Add startup scripts for redis & ardb 2018-03-21 17:58:36 +01:00			`#!/bin/bash`

			`set -e`
			`set -x`

chg: Use UNIX sockets instead of local TCP 2018-04-05 14:36:01 +02:00			`../../redis/src/redis-server ./ris.conf`
			`../../redis/src/redis-server ./prefixes.conf`