HomeSoftware Heritage

webgraph.py: make sure {logback} is always interpolated

Description

webgraph.py: make sure {logback} is always interpolated

before this change it wasn't interpolated in case java_tool_options was given
in configuration (and contained '{logback}')

Details

Provenance
zackAuthored on Nov 6 2019, 9:24 PM
zackPushed on Nov 7 2019, 11:35 AM
Parents
rDGRPH6d9e67257aa8: map generation: further logging tuning
Branches
Unknown
Tags
Unknown

Event Timeline