Как удалить файл DETS?

Question

У меня проблема с файлом DETS, я не могу найти функционал, как завершить удаление файла DETS с моего диска. Продемонстрируем сценарий: вы создаете файл DETS, вставляете один элемент, а затем хотите уничтожить этот файл как временное, но постоянное хранилище.

dets:open_file("TestFile",[{file, "TestFile.db"}]).
{ok,"TestFile"}
dets:insert("TestFile", {a,b,c}).
ok
dets:delete_all_objects("TestFile").
ok
dets:info("TestFile").
[{type,set},
{keypos,1},
{size,0},
{file_size,5432},
{filename,"TestFile.db"}]

Как я могу удалить файл "TestFile.db"?

Answer 1

В модуле dets нет функции для удаления самого файла. Просто вызовите файл:delete("TestFile.db").