Deploy ====== Requirements ------------ - apache2 - python3-falcon - python3-ply - python3-psycopg2 - 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') >>> ...