From b2c8b7821e7e4ff82c65f0ab360ae067dded9e94 Mon Sep 17 00:00:00 2001
From: Holger Weiss <holger@zedat.fu-berlin.de>
Date: Sun, 6 Oct 2013 13:30:11 +0200
Subject: Rename /media directory to /resources

This is just cosmetics.
---
 etc/nginx/site.conf | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'etc')

diff --git a/etc/nginx/site.conf b/etc/nginx/site.conf
index 9105591..a4fd42d 100644
--- a/etc/nginx/site.conf
+++ b/etc/nginx/site.conf
@@ -28,7 +28,7 @@ server {
 		root /home/plugins/web;
 		fancyindex on;
 		fancyindex_exact_size off;
-		fancyindex_css_href /media/plugins.css;
+		fancyindex_css_href /resources/plugins.css;
 	}
 
 	#
@@ -57,7 +57,7 @@ server {
 	# Redirects etc.
 	#
 	location = /favicon.ico {
-		root /home/plugins/web/site/media;
+		root /home/plugins/web/site/resources;
 	}
 	location ^~ /snapshot {
 		return 301 /download$request_uri;
-- 
cgit v1.2.3-74-g34f1