Johannes/S-dom
1
0
Fork 0
Code Issues 1 Pull Requests Packages Projects Releases Wiki Activity

fix: don't create files with bad names

Browse Source
This commit is contained in:
Johannes Frohnmeyer 2024-05-29 15:10:49 +02:00
parent 43278ee35d
commit 6d446ba1b6
Signed by: Johannes
GPG Key ID: E76429612C2929F4
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/main/kotlin/io/gitlab/jfronny/sdom/actions/SDStatementAction.kt
View File

@ -59,7 +59,8 @@ class SDStatementAction(name: String) : DumbAwareAction(name) {
CoroutineScope(Job() + Dispatchers.IO).launch {
val data = SDom.downloadProblemStatement(contest, problem)
fun createTmpFile(): Path {
val path = Files.createTempFile("${problem.name}_${contest.name}", ".pdf")
val prefix = "${problem.name}_${contest.name}".replace("[^a-zA-Z0-9._-]".toRegex(), "_")
val path = Files.createTempFile(prefix, ".pdf")
Files.write(path, data, StandardOpenOption.WRITE)
return path
}