# HG changeset patch # User p.lucas # Date 1717595522 0 # Node ID 10d2ad9d809388904088e2d380122b444fe3bb31 # Parent ea6698e4af9f1b4f09cc1c40eedc03ab0f87f0f7 Uploaded diff -r ea6698e4af9f -r 10d2ad9d8093 diamond.xml --- a/diamond.xml Wed Jun 05 13:34:25 2024 +0000 +++ b/diamond.xml Wed Jun 05 13:52:02 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.path} ./database.dmnd + ln -s ${ref_db_source.index.fields.db_path} ./database.dmnd #end if &&