update from master

[fanfix.git] / library / WebLibrary.java

diff --git a/library/WebLibrary.java b/library/WebLibrary.java
index 7566877cebd48343b47c1764ed31045ee8de78dd..9af38e2b6bd1c7ccb565ca6f244e31ef42f40746 100644 (file)
--- a/library/WebLibrary.java
+++ b/library/WebLibrary.java
@@ -133,7 +133,17 @@ public class WebLibrary extends BasicLibrary {
         *             in case of I/O errors
         */
        public void stop() throws IOException {
         *             in case of I/O errors
         */
        public void stop() throws IOException {

-               post(WebLibraryUrls.EXIT_URL, null).close();
+               try {
+                       post(WebLibraryUrls.EXIT_URL, null).close();
+               } catch (Exception e) {
+                       try {
+                               Thread.sleep(200);
+                       } catch (InterruptedException e1) {
+                       }
+                       if (getStatus() != Status.UNAVAILABLE) {
+                               throw new IOException("Cannot exit the library", e);
+                       }
+               }

        }
 
        @Override
        }
 
        @Override


@@ -164,6 +174,7 @@ public class WebLibrary extends BasicLibrary {
                try {
                        Image img = new Image(in);
                        if (img.getSize() > 0) {
                try {
                        Image img = new Image(in);
                        if (img.getSize() > 0) {

+                               img.close();

                                return img;
                        }
 
                                return img;
                        }
 


@@ -179,6 +190,7 @@ public class WebLibrary extends BasicLibrary {
                try {
                        Image img = new Image(in);
                        if (img.getSize() > 0) {
                try {
                        Image img = new Image(in);
                        if (img.getSize() > 0) {

+                               img.close();

                                return img;
                        }
 
                                return img;
                        }
 


@@ -194,6 +206,7 @@ public class WebLibrary extends BasicLibrary {
                try {
                        Image img = new Image(in);
                        if (img.getSize() > 0) {
                try {
                        Image img = new Image(in);
                        if (img.getSize() > 0) {

+                               img.close();

                                return img;
                        }
 
                                return img;
                        }