if (gradioUsername === null || gradioUsername.trim() === "") { fileUrl = `/file=./history/${historyname}`; } else { fileUrl = `/file=./history/${gradioUsername}/${historyname}`; }