|
|
@@ -46,7 +46,7 @@ server {
|
|
|
}
|
|
|
|
|
|
# handle output files for specific users
|
|
|
- location ~ ^/project/([0-9a-f]+)/user/([0-9a-f]+)/build/([0-9a-f-]+)/output/output\.([a-z]+)$ {
|
|
|
+ location ~ ^/project/([0-9a-f]+)/user/([0-9a-f]+)/build/([0-9a-f-]+)/output/output\.([a-z.]+)$ {
|
|
|
if ($request_method = 'OPTIONS') {
|
|
|
# handle OPTIONS method for CORS requests
|
|
|
add_header 'Allow' 'GET,HEAD';
|
|
|
@@ -64,7 +64,7 @@ server {
|
|
|
alias /output/$1-$2/generated-files/$3/$4.blg;
|
|
|
}
|
|
|
# handle output files for anonymous users
|
|
|
- location ~ ^/project/([0-9a-f]+)/build/([0-9a-f-]+)/output/output\.([a-z]+)$ {
|
|
|
+ location ~ ^/project/([0-9a-f]+)/build/([0-9a-f-]+)/output/output\.([a-z.]+)$ {
|
|
|
if ($request_method = 'OPTIONS') {
|
|
|
# handle OPTIONS method for CORS requests
|
|
|
add_header 'Allow' 'GET,HEAD';
|