diff --git a/src/webserver/REPLTools.jl b/src/webserver/REPLTools.jl index 19be0a3c1..df55812b6 100644 --- a/src/webserver/REPLTools.jl +++ b/src/webserver/REPLTools.jl @@ -9,7 +9,7 @@ import REPL ### function format_path_completion(completion) - replace(replace(completion_text(completion), "\\ " => " "), "\\\\" => "\\") + replace(completion_text(completion), "\\ " => " ", "\\\\" => "\\") end responses[:completepath] = function response_completepath(🙋::ClientRequest) diff --git a/src/webserver/Static.jl b/src/webserver/Static.jl index 76a29f808..c74d04561 100644 --- a/src/webserver/Static.jl +++ b/src/webserver/Static.jl @@ -50,12 +50,13 @@ function error_response( template = read(project_relative_path(frontend_directory(), "error.jl.html"), String) body_title = body == "" ? "" : "Error message:" - filled_in = replace(replace(replace(replace(replace(template, - "\$STYLE" => """"""), - "\$TITLE" => title), - "\$ADVICE" => advice), - "\$BODYTITLE" => body_title), - "\$BODY" => htmlesc(body)) + filled_in = replace(template, + "\$STYLE" => """""", + "\$TITLE" => title, + "\$ADVICE" => advice, + "\$BODYTITLE" => body_title, + "\$BODY" => htmlesc(body), + ) response = HTTP.Response(status_code, filled_in) HTTP.setheader(response, "Content-Type" => MIMEs.contenttype_from_mime(MIME"text/html"()))