--- db-3.2.9/java/src/com/sleepycat/db/DbEnv.java.orig 2005-03-10 18:30:19.705147736 +0000 | |
+++ db-3.2.9/java/src/com/sleepycat/db/DbEnv.java 2005-03-10 18:03:07.930215232 +0000 | |
@@ -78,9 +78,9 @@ | |
// | |
/*package*/ void _notify_dbs() | |
{ | |
- Enumeration enum = dblist_.elements(); | |
- while (enum.hasMoreElements()) { | |
- Db db = (Db)enum.nextElement(); | |
+ Enumeration en = dblist_.elements(); | |
+ while (en.hasMoreElements()) { | |
+ Db db = (Db)en.nextElement(); | |
db._notify_dbenv_close(); | |
} | |
dblist_.removeAllElements(); |