File size: 1,282 Bytes
20efbc0
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
// Functions for downloading JSON files
function getCurrentTimestamp() {
  const now = new Date();
  const timezoneOffset = now.getTimezoneOffset() * 60000; // Convert to milliseconds
  const localTime = new Date(now.getTime() - timezoneOffset);
  const formattedTimestamp = localTime.toISOString().replace(/[-:]/g, "").slice(0, 15);
  return formattedTimestamp;
}

function saveFile(contents, filename) {
  const element = document.createElement("a");
  element.setAttribute("href", "data:text/plain;charset=utf-8," + encodeURIComponent(contents));
  element.setAttribute("download", filename);
  element.style.display = "none";
  document.body.appendChild(element);
  element.click();
  document.body.removeChild(element);
}

function saveHistory(history, character, mode) {
  let path = null;

  if (["chat", "chat-instruct"].includes(mode) && character && character.trim() !== "") {
    path = `history_${character}_${getCurrentTimestamp()}.json`;
  } else {
    try {
      path = `history_${mode}_${getCurrentTimestamp()}.json`;
    } catch (error) {
      path = `history_${getCurrentTimestamp()}.json`;
    }
  }
  saveFile(history, path);
}

function saveSession(session) {
  let path = null;

  path = `session_${getCurrentTimestamp()}.json`;
  saveFile(session, path);
}