Rename index.php to server.php and rewrite requests to server.php ins…

…tead.
oliver-la · May 6, 2017 · 914dac4 · 914dac4
1 parent 7ce45ec
commit 914dac4
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 3 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -33,8 +33,8 @@ COPY          config/nginx/fastcgi_params /etc/nginx/fastcgi_params
 RUN           ln -sf /dev/stdout /var/log/nginx/access.log && \
               ln -sf /dev/stderr /var/log/nginx/error.log
 
-# copy index.php for client -- sabredav communication
-COPY          web/index.php /var/webdav/index.php
+# copy server.php for client -- sabredav communication
+COPY          web/server.php /var/webdav/server.php
 
 CMD           /install.sh && service php5-fpm start && nginx -g "daemon off;"
 
diff --git a/config/nginx/default b/config/nginx/default
@@ -8,7 +8,9 @@ server {
 
         client_max_body_size 4g;
 
-        location / {
+	rewrite (.*) /server.php$uri break;
+
+	location / {
                 # First attempt to serve request as file, then
                 # as directory, then fall back to displaying a 404.
                 try_files $uri $uri/ =404;

diff --git a/web/index.php → web/server.php b/web/index.php → web/server.php