blob: 652d2d5d20016a3062b356b56b9f0adba1cb6eca (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
diff -urN db-4.1.25.orig/java/src/com/sleepycat/db/DbEnv.java db-4.1.25/java/src/com/sleepycat/db/DbEnv.java
--- db-4.1.25.orig/java/src/com/sleepycat/db/DbEnv.java 2002-08-30 20:12:26.000000000 +0200
+++ db-4.1.25/java/src/com/sleepycat/db/DbEnv.java 2004-11-30 19:54:37.979221908 +0100
@@ -78,9 +78,9 @@
//
/*package*/ void _notify_dbs()
{
- Enumeration enum = dblist_.elements();
- while (enum.hasMoreElements()) {
- Db db = (Db)enum.nextElement();
+ Enumeration myEnum = dblist_.elements();
+ while (myEnum.hasMoreElements()) {
+ Db db = (Db)myEnum.nextElement();
db._notify_dbenv_close();
}
dblist_.removeAllElements();
|