# HG changeset patch # User p.lucas # Date 1717513662 0 # Node ID a203fc50858cca49f57128454882dff944beda76 # Parent eb4cb2475d2c6acca0b70e985816fd8844638ee2 Uploaded diff -r eb4cb2475d2c -r a203fc50858c diamond.xml --- a/diamond.xml Tue Jun 04 14:16:47 2024 +0000 +++ b/diamond.xml Tue Jun 04 15:07:42 2024 +0000 @@ -11,7 +11,7 @@ #if $ref_db_source.db_source == "history": ln -s $ref_db_source.reference_database ./database.dmnd #else: - ln -s ${ref_db_source.index.fields.db_path} ./database.dmnd + ln -s ${ref_db_source.index.fields.path} ./database.dmnd #end if &&