diff --git a/misc/tools/cached-converter.sh b/misc/tools/cached-converter.sh index f6116a6..d7bf586 100755 --- a/misc/tools/cached-converter.sh +++ b/misc/tools/cached-converter.sh @@ -41,6 +41,7 @@ cached() if ! $flag; then return 0 fi + sleep 0.25 if [ x"$infile1" = x"$outfile1" ]; then keep=true fi