Fix filename escaping in file editor

This commit is contained in:
prpr 2022-09-10 14:24:10 +01:00
parent 5e941b889c
commit aab63aa8cc
2 changed files with 2 additions and 2 deletions

View File

@ -12,7 +12,7 @@ set file [cgi_get file -]
set backdesc [cgi_get backdesc "Back to diagnostics"]
set backlink [cgi_get backlink "/diag/diag.jim"]
if {$file ne "-"} {
puts "<script type=text/javascript>forcefile = '$file';</script>"
puts "<script type=text/javascript>forcefile = \"[cgi_quote_url $file]\";</script>"
}
puts {

View File

@ -189,7 +189,7 @@ $('#executable').on('click', function() {
if (forcefile)
{
loadfile(forcefile);
loadfile(decodeURIComponent(forcefile));
$('#open,#create,#qedit').remove();
}