make sure that bots don't access the service-proxy on devel installations

diff --git a/examples/htdocs/robots.txt b/examples/htdocs/robots.txt
new file mode 100644 (file)
index 0000000..f94de5d
--- /dev/null
+++ b/examples/htdocs/robots.txt
@@ -0,0 +1,5 @@
+# Copyright (c) 2014 IndexData ApS. http://indexdata.com
+
+User-agent: *
+Disallow: /service-proxy
+