db.flush required?

[jda]

Ruslan,

I (OK, a user) just found a bizarre bug in which a db index was 
corrupted when the db was closed (or at least not saved properly -- 
rebuilding the index always fixed the problem, which was a bad sort).

I found that instead of using

myDatabase.close

when the db-containing window was closed, if I used

myDatabase.flush
myDatabase.close

the problem seemed to go away (I'm still waiting confirmation from him).

I thought db.close automatically flushed if needed? No?

Jon