blob: 5482831e317a0af7ddf292f59951c9e04e51b001 [file] [log] [blame]
--- 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();