temporarily slow down file conversion a bit (sleep 0.25) to keep server load down

diff --git a/misc/tools/cached-converter.sh b/misc/tools/cached-converter.sh
index f6116a6571a71d55583a422fe0e63b6e3dea9872..d7bf5864a212a5e3cf323874f9e67d01509622fb 100755 (executable)
--- 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