BGP-Ranking/storage/shutdown_ardb.sh

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

set -e
set -x

../../redis/src/redis-cli -s ./storage.sock shutdown save
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-cli -s ./storage.sock shutdown save`