#!/bin/bash # Run as a background daemon to avoid weird # deadlocking. Probably we will only need this if we # have multiple writers, but not sure. db=/tmp/db db4.3_deadlock -h $db -w -a o & echo "pid:$!"