# HG changeset patch
# User Robert Casties <r0bcas7@gmail.com>
# Date 1505924799 -7200
# Node ID 8cd7d396de9396a34fedcb01a81fdd19afb73a1a
# Parent  146c5f619e3ca5bcc1f308c0ba617af3f431b4a9
add full size image to IIIF image API info.json "sizes".

as per the official spec interpretation of "preferred" size.

diff -r 146c5f619e3c -r 8cd7d396de93 servlet/src/main/java/digilib/servlet/ServletOps.java
--- a/servlet/src/main/java/digilib/servlet/ServletOps.java	Wed Sep 06 17:46:43 2017 +0200
+++ b/servlet/src/main/java/digilib/servlet/ServletOps.java	Wed Sep 20 18:26:39 2017 +0200
@@ -517,11 +517,11 @@
                 		+ "\"mirroring\", \"rotationArbitrary\", \"sizeAboveFull\", \"regionSquare\""
                 		+ "]");
                 writer.println("  }]");
-                // add sizes of prescaled images
+                // add size of original and prescaled images
                 int numImgs = imageSet.size();
-                if (numImgs > 1) {
+                if (numImgs > 0) {
                     writer.println(", \"sizes\" : [");
-                    for (int i = numImgs - 1; i > 0; --i) {
+                    for (int i = numImgs - 1; i >= 0; --i) {
                         ImageInput ii = imageSet.get(i);
                         ImageSize is = ii.getSize();
                         writer.println("  {\"width\" : "+is.getWidth()+", \"height\" : "+is.getHeight()+"}"