Returns the disk timestamp of the database. @return database size
()
| 256 | * @return database size |
| 257 | */ |
| 258 | public long dbTime() { |
| 259 | return dir != null ? dir.timeStamp() : 0; |
| 260 | } |
| 261 | |
| 262 | /** |
| 263 | * Returns a database file for the specified filename. |