You've already forked code_examples_server
mirror of
https://github.com/AdaCore/code_examples_server.git
synced 2026-02-12 12:45:18 -08:00
b2cd4b44e0
... which caused processing to stop at the first stderr line read from input. Instead, keep processing until there is no stderr *and* no stdout to be read. Extract 'print' subprograms to the main level, and modify print_debug so that it returns data formatted in json, so it can be displayed on the page.
code_examples_server
Prototype server for creating interactive "try SPARK / try Ada" webpages
Requirements
In addition to Python, this system relies on LXC to sandbox the run of executables. To do this, you need
- a container named "safecontainer"
- this container should have a non-admin user 'ubuntu'
Getting started
To setup, do this:
# This is to create the virtualenv and install Python stuff
virtualenv env
source env/bin/activate
pip install -r REQUIREMENTS.txt
# This is to initialize the django database
./manage.py migrate
# This is to get the ACE editor
cd compile_server/app/static
git clone https://github.com/ajaxorg/ace-builds.git
To enter the environment, to this
source env/bin/activate
To enter some examples in the database, do this:
./manage.py fill_examples --dir=resources/example/hello_world
To enter many examples in the database where the examples are listed in a yaml file, do this:
./manage.py fill_examples --conf=resources/test_conf.yaml
To launch the server, do this:
./manage.py runserver