diff options
Diffstat (limited to 'src/sisudoc/spine.d')
| -rw-r--r-- | src/sisudoc/spine.d | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/sisudoc/spine.d b/src/sisudoc/spine.d index 98c729c..2ce9331 100644 --- a/src/sisudoc/spine.d +++ b/src/sisudoc/spine.d @@ -1668,6 +1668,14 @@ string program_name = "spine"; writeln("processed artefact: ", _artefact.baseName, " [", doc.matters.src.language, "]"); } + /+ ↓ the images a database carried, written out for this run only +/ + if (doc.images_tmp.length > 0) { + try { + if (doc.images_tmp.exists) { doc.images_tmp.rmdirRecurse; } + } catch (Exception ex) { + stderr.writeln("WARNING: could not remove ", doc.images_tmp, ": ", ex.msg); + } + } } } if (hvst.curates.length > 0) { |
