|
Lines 78-86
Link Here
|
| 78 |
// |
78 |
// |
| 79 |
/*package*/ void _notify_dbs() |
79 |
/*package*/ void _notify_dbs() |
| 80 |
{ |
80 |
{ |
| 81 |
Enumeration enum = dblist_.elements(); |
81 |
Enumeration en = dblist_.elements(); |
| 82 |
while (enum.hasMoreElements()) { |
82 |
while (en.hasMoreElements()) { |
| 83 |
Db db = (Db)enum.nextElement(); |
83 |
Db db = (Db)en.nextElement(); |
| 84 |
db._notify_dbenv_close(); |
84 |
db._notify_dbenv_close(); |
| 85 |
} |
85 |
} |
| 86 |
dblist_.removeAllElements(); |
86 |
dblist_.removeAllElements(); |