function downloadHistory(gradioUsername, historyname, format=".json") {
let fileUrl;
if (gradioUsername === null || gradioUsername.trim() === "") {
fileUrl = `/file=./history/${historyname}`;
} else {
fileUrl = `/file=./history/${gradioUsername}/${historyname}`;
}
downloadFile(fileUrl, historyname, format);
}