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(); |