summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAleš Smodiš <aless@guru.si>2015-08-25 19:05:20 +0200
committerAleš Smodiš <aless@guru.si>2015-08-25 19:05:20 +0200
commitc72f8211fbcf4241db81d091c55417103acf9fbc (patch)
tree006c9f6d457ef071a95ac6c856d4416cb4fbff52
parent959f5f0f71b51ac47870a40b09157c6deef73a52 (diff)
parentbb7886143bbc05952679640db34315ef2d831e04 (diff)
Merge branch 'master' of ssh://212.235.189.51:22122/codeq-server
-rw-r--r--readme.txt39
1 files changed, 36 insertions, 3 deletions
diff --git a/readme.txt b/readme.txt
index 6f92562..4c902c3 100644
--- a/readme.txt
+++ b/readme.txt
@@ -1,6 +1,39 @@
-Python3 packages required:
+Deploy
+======
+
+Requirements
+------------
+
+- apache2
+- python3-falcon
- python3-ply
-- python3-termcolor
- python3-psycopg2
-- python3-falcon
+- python3-termcolor
+- python3-waitress
+- swi-prolog-nox
+
+Settings
+--------
+
+- copy files from codeq-web to webroot
+- set up reverse proxy for /svc/ to wsgi server
+ ProxyPass /svc/ http://localhost:8082/
+ ProxyPassReverse /svc/ http://localhost:8082/
+- set _path_prefix in server.problems
+- set DB settings in db
+
+Run
+---
+
+- start prolog/runner/main.pl
+- start daemon.py
+- start wsgi_server.py
+
+
+Debugging
+=========
+>>> import server
+>>> session = server.user_session.authenticate_and_create_session(user, pass)
+>>> session.get_problem_data('prolog', 'family_relationss', 'sister_2')
+>>> ...