Possible problem in EDS
- Posted by jessedavis Feb 01, 2018
- 1341 views
Version 4.0.5 Windows 10
1. Open database
2. Print out table names and sizes returned by db_table_size()
3. Delete a table
4. Print out table names and sizes returned by db_table_size()
The sizes returned in 4. are different from the sizes returned in 2.
If one closes the database after step 3 and immediately reopens it the sizes returned are correct.
Just a curiosity!
Regards,
jd