Normand Briere
2019-08-15 24a2a946b35279605e645349bd6b82e9e60aac88
Grafreed.java
....@@ -955,6 +955,8 @@
955955 java.io.ObjectInputStream p = new java.io.ObjectInputStream(zstream);
956956
957957 readobj = (Object3D) p.readObject();
958
+ p.close();
959
+ zstream.close();
958960 istream.close();
959961
960962 readobj.ResetDisplayList();
....@@ -968,6 +970,7 @@
968970 java.io.ObjectInputStream p = new java.io.ObjectInputStream(istream);
969971
970972 readobj = (Object3D) p.readObject();
973
+ p.close();
971974 istream.close();
972975
973976 readobj.ResetDisplayList();