database - 如何在 DolphinDB 中删除磁盘上的 mvccTable？

Question

我在 DolphinDB 中创建了一个 mvccTable 并将其保存到磁盘。但是当我尝试删除表文件夹和表文件时，它失败了，因为 log.bin 是“打开的”并且正在被 dolphindb.exe 使用。如何在不关闭 dolphindb 服务器的情况下删除表文件夹？我的 DolphinDB 版本是 windows64 v0.95.3。

def dropMvccTable(WORK_DIR,tableName){
    if(exists(WORK_DIR+"/"+tableName)){
        try{
        rmdir(WORK_DIR+"/"+tableName,true)
        rm(WORK_DIR+"/"+tableName+".tbl")
        rm(WORK_DIR+"/"+tableName+".sym")
        }catch(ex){}
        }
    }
WORK_DIR="H:/DolphinDB/Data"
d=1..10000000
str=take(`ABC`JDK`KILL`PEN,10000000)
price=1.23+0..9999999
temp=table(id,str,price)
tt=mvccTable(1:0,`id`str`price,[INT,SYMBOL,DOUBLE],WORK_DIR,"tt")
tt.append!(temp)

dropMvccTable(WORK_DIR,"tt")

Answer 1

请在删除前释放 mvcc 表。

tt = NULL

表的释放将关闭与 mvcc 表关联的日志文件。