blob: b56ddb507b6c848a028be29cffa509d21cd8a644 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
  | 
timeout=6000
chain_prefix=splash_db_
chain_id_file=/tmp/splash_chain_id
chain_id=$(cat $chain_id_file 2>/dev/null || true)
if ! [ "$chain_id" -gt 0 ] &>/dev/null; then
    chain_id=1
    echo $chain_id > $chain_id_file
fi
lockSplash () {
    exec 666<$chain_id_file
    flock -x 666
}
unlockSplash () {
    exec 666<&-
}
  |