How to close file opened via XML.read(filename, LazyNode) ?

[pddshk]

I tried the following but it does not work

doc = XML.read(filename, LazyNode)
close(doc)

The file seems to remain opened

[pddshk]

Seems like you use mmap here

XML.jl/src/raw.jl

Line 71 in 7ec50de

Raw(Mmap.mmap(filename)) :

[joshday]

Mmap.mmap(::String) doesn't leave the file open. You don't need to do anything here IIUC.