#!/bin/bash
closeDatabase() {
	echo 'vacuum;' >&3
	echo .quit >&3
	(( debug )) && echo -n "Waiting for SQLite to terminate... "
	(( debug > 2 )) && exec 5>&-
	wait $db_pid
	(( debug )) && echo OK
	exec 3>&-
	exec 4<&-
}