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

我在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")

---

请在放下之前释放mvcc表

tt = NULL

表的发布将关闭与mvcc表关联的日志文件