Throwable, not IOException, in JSON in.close()
authorhansonr <hansonr@STO24954W.ad.stolaf.edu>
Sat, 23 Mar 2019 13:16:46 +0000 (08:16 -0500)
committerhansonr <hansonr@STO24954W.ad.stolaf.edu>
Sat, 23 Mar 2019 13:16:46 +0000 (08:16 -0500)
src/jalview/javascript/json/JSON.java

index 6cb7cb5..a1de56e 100644 (file)
@@ -170,7 +170,7 @@ public class JSON {
                        data = null;
                        try {
                                super.close();
-                       } catch (IOException e) {
+                       } catch (Throwable e) {
                                // ignore, especially if we set $in to a string!
                        }
                }