rm -f ${tmp_png_prefix}*png
elif [[ x"${cmd_type}" = "xsvg" ]] ; then
  check_command rsvg-convert
  target_file=$(echo "$url" | sed -e "s#^file:/*#/#g")
  rsvg-convert -w 100 -h 100 --keep-aspect-ratio "${target_file}" -o "${output_file}"
elif [[ x"${cmd_type}" = "ximage" ]] ; then
  im_cmd=$(get_imagemagick_cmd)
  if [[ -z "${im_cmd}" ]] ; then
    echo "ImageMagick (convert or magick) does not exist."
    exit 1

        if (width < TABLET_WIDTH) {
            float ratio = (float) width / (float) TABLET_WIDTH;
            if (ratio < 0.5) {
                ratio = 0.5f;
            }
            highlightInfo.fragmentSize((int) (highlightInfo.getFragmentSize() * ratio));
        }
    }

    /**
     * Gets the URL link for a document with proper protocol handling.

                || height < getThumbnailHtmlImageMinHeightAsInteger().intValue()) {
            return false;
        }

        final float ratio = getThumbnailHtmlImageMaxAspectRatioAsDecimal().floatValue();
        if ((float) width / (float) height > ratio || (float) height / (float) width > ratio) {
            return false;
        }

        return true;
    }

    String getHttpProxyHost();

        assertTrue(omitIdx > 0);
        final String head = result.substring(0, omitIdx);
        final String tail = result.substring(omitIdx + omitMarker.length());
        // Verify 60/40 ratio: head=289, tail=194
        assertEquals(289, head.length());
        assertEquals(194, tail.length());
        // Head should be ~60% of bodyBudget

# Minimum width for HTML images in thumbnails.
thumbnail.html.image.min.width=100
# Minimum height for HTML images in thumbnails.
thumbnail.html.image.min.height=100
# Maximum aspect ratio for HTML images in thumbnails.
thumbnail.html.image.max.aspect.ratio=3.0
# Width of generated thumbnail images.
thumbnail.html.image.thumbnail.width=100
# Height of generated thumbnail images.
thumbnail.html.image.thumbnail.height=100

     */
    Integer getThumbnailHtmlImageMinHeightAsInteger();

    /**
     * Get the value for the key 'thumbnail.html.image.max.aspect.ratio'. <br>
     * The value is, e.g. 3.0 <br>
     * comment: Maximum aspect ratio for HTML images in thumbnails.
     * @return The value of found property. (NotNull: if not found, exception but basically no way)
     */