Skip to content

Correct file_preload serialization/parsing within OPTIONS file
Compare
Choose a tag to compare
@matthewvon matthewvon released this 04 Jan 00:13
· 10 commits to stardog/develop since this release
v6.20.3e
550cd54
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

I completely missed the error with serializing new file_preload option. The side effect was the rocksdb code leaving potentially hundreds of OPTIONS temporary files within $STARDOG_HOME/data.

This release corrects the serialization and parsing. It also adds code to clean up failed options file writes.

Assets 2
Loading