summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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')
+>>> ...