Don't prefix file URLs with media/

dodona-edu · Aug 25, 2023 · d7a7c73 · d7a7c73
1 parent f25e2ff
commit d7a7c73
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tested/languages/generation.py b/tested/languages/generation.py
@@ -189,7 +189,7 @@ def get_readable_input(
     def replace_link(match: Match) -> str:
         filename = match.group()
         the_file = url_map[filename]
-        the_url = urllib.parse.quote("media/" + the_file.url)
+        the_url = urllib.parse.quote(the_file.url)
         the_replacement = (
             f'<a href="{the_url}" class="file-link" target="_blank">{filename}</a>'
         )