blob: 0544758d66faa2be2ea2649c463e46e07d1cc995 (
plain)
1
2
3
4
5
6
7
8
9
10
|
DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" > /dev/null 2>&1 && pwd)"
. "$DIR/prelude.sh"
cd src/jepsen-mongodb
set -o verbose
# Jepsen system failure if file exists.
if [ -f jepsen_system_failure_${task_name}_${execution} ]; then
exit $(cat jepsen_system_failure_${task_name}_${execution})
fi
|
