2010-12-08 20:16:26 -08:00
|
|
|
#!/bin/sh
|
2010-11-22 22:50:54 -08:00
|
|
|
#echo "Flushing redo cache..." >&2
|
2010-12-11 20:54:46 -08:00
|
|
|
if [ -z "$DO_BUILT" ]; then
|
|
|
|
|
(
|
|
|
|
|
echo ".timeout 5000"
|
|
|
|
|
echo "pragma synchronous = off;"
|
|
|
|
|
echo "update Files set checked_runid=checked_runid-1, " \
|
|
|
|
|
" changed_runid=changed_runid-1, " \
|
|
|
|
|
" failed_runid=failed_runid-1;"
|
|
|
|
|
) | sqlite3 "$REDO_BASE/.redo/db.sqlite3"
|
|
|
|
|
fi
|
|
|
|
|
|