add Web configuration

Author: Rob Speer

web/nginx-ireproof.conf

@@ -0,0 +1,9 @@
+server {
+    listen 80;
+    server_name ireproof.org tools.ireproof.org www.ireproof.org;
+
+    location / {
+        include uwsgi_params;
+        uwsgi_pass unix:/home/rspeer/solvertools/web/ireproof.sock;
+    }
+}

web/uwsgi.conf

@@ -0,0 +1,11 @@
+[uwsgi]
+wsgi-file = /home/rspeer/solvertools/web/__init__.py
+
+master = true
+processes = 5
+
+socket = web/ireproof.sock
+chmod-socket = 660
+vacuum = true
+
+die-on-term = true