Drop double / between base path and relative URL's.

Author: nickygerritsen

webapp/src/Service/ExternalContestSourceService.php

@@ -1450,9 +1450,12 @@ protected function importSubmission(Event $event, EventData $data): void
                 $zipUrl = $data->files[0]->href;
                 if (preg_match('/^https?:\/\//', $zipUrl) === 0) {
                     // Relative URL, prepend the base URL.
+                    // If both the base path ends with a / and the zip URL starts with one, drop one of them
+                    if (str_ends_with($this->basePath, '/') && str_starts_with($zipUrl, '/')) {
+                        $zipUrl = substr($zipUrl, 1);
+                    }
                     $zipUrl = ($this->basePath ?? '') . $zipUrl;
                 }
-                $zipUrl = str_replace('//', '/', $zipUrl);
 
                 $tmpdir = $this->dj->getDomjudgeTmpDir();