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