Erel Segal-Halevi

Indeed! Our locally-developed auto-grader worked perfectly before the start of term, but in the first submission to the public server, 100 students tried to submit simultaneously and it crashed miserably......

QUESTION: what is "**uwgsi**" in the installation guide? Should it be "**uwsgi**"?

ANOTHER QUESTION: After I install and configure Apache2 as explained in that page, how can I check my installation? I tried to open `http:///static` but got an error "Unable to...

To avoid clashes with other listening processes, I moved the two modules to ports 8081 and 8082 respectively, and reloaded Apache2. My configuration looks like this: ``` LoadModule wsgi_module /usr/local/lib/python3.6/dist-packages/mod_wsgi/server/mod_wsgi-py36.cpython-36m-x86_64-linux-gnu.so...

Here is the file error.log just after reloading Apache2: [Thu Feb 18 18:57:46.994117 2021] [socache_shmcb:info] [pid 12632] AH00830: Shared memory socache initialised [Thu Feb 18 18:57:46.994139 2021] [ssl:info] [pid 12632]...

When I do `curl http://localhost:8081` I get `curl: (7) Failed to connect to localhost port 8081: Connection refused` similarly when I try port 8082. Nothing appears in access.log. I thought...

Indeed, it does not listen on these ports: `netstat -pnlt|grep apache` ``` tcp6 0 0 :::443 :::* LISTEN 10382/apache2 tcp6 0 0 :::80 :::* LISTEN 10382/apache2 ``` But it does...

@akemery this is what worked for me: https://docs.inginious.org/en/v0.7/admin_doc/install_doc/installation.html#using-apache-on-ubuntu-18-04 But it was for the previous version. Currently I am working on other things..

I agree. In our university, we had to build a special tool only for handling github submissions: https://github.com/SamuelBismuth/badkan but it has other issues. It would be better to have this...

Hi. Are there any prospects for merging this PR?