|
|
@@ -62,13 +62,13 @@ server {
|
|
|
root /output/$1/generated-files/$2/;
|
|
|
}
|
|
|
# handle output files for submissions
|
|
|
- location ~ ^/project/([a-z0-9_-]+)/build/([0-9a-f-]+)/output/(.+)$ {
|
|
|
+ location ~ ^/project/([a-zA-Z0-9_-]+)/build/([0-9a-f-]+)/output/(.+)$ {
|
|
|
if ($request_method = 'OPTIONS') {
|
|
|
# handle OPTIONS method for CORS requests
|
|
|
add_header 'Allow' 'GET,HEAD';
|
|
|
return 204;
|
|
|
}
|
|
|
- rewrite ^/project/([a-z0-9_-]+)/build/([0-9a-f-]+)/output/(.+)$ /$3 break;
|
|
|
+ rewrite ^/project/([a-zA-Z0-9_-]+)/build/([0-9a-f-]+)/output/(.+)$ /$3 break;
|
|
|
root /output/$1/generated-files/$2/;
|
|
|
}
|
|
|
|