How to get a database name from a database ID

[phaworth]

Does anyone know of a function to return the database name that belongs to a given database ID? I'm using sqlite.
Thanks,
Pete

[Janschenkel]

Nope, it looks like there is no function in the RevDB library to retrieve the connection parameters on the basis of a connection id.
My best guess is that they expect you to keep track of that yourself - after all, you opened the connection

Jan Schenkel.