From 4ead489e2f6ba84f0bc883e558c4aca2eaf35d27 Mon Sep 17 00:00:00 2001 From: "Salvador E. Tropea" Date: Mon, 11 Dec 2023 08:38:26 -0300 Subject: [PATCH] [KiRi] Reverted timestamp removal - Needs more work, should be removed from other places too --- kibot/resources/kiri/kiri.js | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/kibot/resources/kiri/kiri.js b/kibot/resources/kiri/kiri.js index fb23ab39..3ae9bd45 100644 --- a/kibot/resources/kiri/kiri.js +++ b/kibot/resources/kiri/kiri.js @@ -735,10 +735,10 @@ function update_sheets_list(commit1, commit2) { } // File = ../[COMMIT]/_KIRI_/sch_sheets - // Data format: ID|LAYER + // Data format: Name_without_extension|Relative_file_name|UUID|Instance_name|Sheet_Path_Name - data1 = loadFile("../" + commit1 + "/_KIRI_/sch_sheets").split("\n").filter((a) => a); - data2 = loadFile("../" + commit2 + "/_KIRI_/sch_sheets").split("\n").filter((a) => a); + data1 = loadFile("../" + commit1 + "/_KIRI_/sch_sheets" + url_timestamp(commit1)).split("\n").filter((a) => a); + data2 = loadFile("../" + commit2 + "/_KIRI_/sch_sheets" + url_timestamp(commit2)).split("\n").filter((a) => a); var sheets = [];