diff options
author | Katze Miau <miaukatzemiau@priveasy.de> | 2011-12-20 16:57:45 (GMT) |
---|---|---|
committer | Katze Miau <miaukatzemiau@priveasy.de> | 2011-12-20 16:57:45 (GMT) |
commit | d7e1ba6fbf5d4c6ea4f72c604338aba73f1464e7 (patch) | |
tree | a775c702cd72566c55d3eea5fe8c86b4c65ef73d /files/common/etc/splash.sh | |
parent | 8ebdb23cff88abd518c8f631eb5e8cc65036d08e (diff) |
cosmetic fixes missed in the previous commit
Diffstat (limited to 'files/common/etc/splash.sh')
-rw-r--r-- | files/common/etc/splash.sh | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/files/common/etc/splash.sh b/files/common/etc/splash.sh new file mode 100644 index 0000000..b56ddb5 --- /dev/null +++ b/files/common/etc/splash.sh @@ -0,0 +1,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<&- +} |