From d82013c214021d6e5480d18105760fa70cfc708b Mon Sep 17 00:00:00 2001 From: Timotej Lazar Date: Mon, 14 Sep 2015 12:46:01 +0200 Subject: Script for adding problems to DB, update readme --- readme.txt | 48 ------------------------------------------------ 1 file changed, 48 deletions(-) delete mode 100644 readme.txt (limited to 'readme.txt') diff --git a/readme.txt b/readme.txt deleted file mode 100644 index c901a5a..0000000 --- a/readme.txt +++ /dev/null @@ -1,48 +0,0 @@ -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 -========= - -Some examples to run in a python interpreter: - ->>> import server ->>> session = server.user_session.authenticate_and_create_session(, ) ->>> session.get_problem_data('python', 'introduction', 'fahrenheit_to_celsius') - ->>> python = session.get_python() ->>> python.test(231, 180, '''print('-17.7')''') ->>> python.hint(231, 180, '''print('-17.7')''') - ->>> prolog = session.get_prolog() ->>> prolog.test(231, 96, 'sister(X,Y):- parent(P,X), parent(P,Y), female(X).') ->>> prolog.hint(231, 96, 'sister(X,Y):- parent(P,X), parent(P,Y), female(X).') -- cgit v1.2.1