2018-07-27 21:08:14 +08:00
|
|
|
#!/bin/bash
|
2018-09-26 01:45:08 +08:00
|
|
|
set -e
|
|
|
|
|
|
|
|
BASE_DIR=$(cd $(dirname $0) && pwd)
|
2018-07-27 20:10:19 +08:00
|
|
|
cd $BASE_DIR
|
2019-06-24 18:51:05 +08:00
|
|
|
cd installations/consent/env/bin/
|
|
|
|
source activate
|
2018-07-18 23:52:29 +08:00
|
|
|
./synctl stop
|