*/
let songFileList = []
let innerSongFileList = document.getElementById("innerSongFileList")
+let songFileFilterName = document.getElementById("songFileFilterName")
-function renameSongFile(songFileName) {
+async function renameSongFile(songFileName) {
+
+ let newSongFileName = prompt("What is the new file name you want?", songFileName)
+ // TODO: make some kind of check that it's a valid URL
+ //
+ let response = await fetch("/api/files/rename/" + songFileName + "/" + newSongFileName, {
+ method: "PUT"
+ })
+
+ if (response.status != 200) {
+ alert("Failed to update the file's name... harass admin")
+ }
}
/**
}
}
+songFileFilterName.oninput = (_) => { filterSongFileList() }
+
+function filterSongFileList() {
+ console.log("called")
+ let fileFilter = songFileFilterName.value
+
+ let filteredFileList = [...songFileList]
+
+ filteredFileList = filteredFileList.filter((v, _i, _a) => {
+ return v.toLowerCase().includes(fileFilter.toLowerCase())
+ })
+
+ innerSongFileList.innerHTML = ""
+ makeSongFileList(filteredFileList, innerSongFileList)
+}
+
/**
* Get the list of all named song files (raw filenames) using the API
* The API endpoint is /api/files/get