10 Commits

Author	SHA1	Message	Date
Nicolas Setton	8a4c22bd4b	Improve error message in case the process was interrupted	2018-07-22 18:48:59 -04:00
Nicolas Setton	a14d864f8e	Add size limit to files we accept to process	2018-07-22 12:17:37 -04:00
Nicolas Setton	88bb72e983	Clear up database sessions that are more than 1 min old	2018-07-21 04:04:19 -04:00
Nicolas Setton	8cb4282fd0	Add a soft limit to the number of running processes	2018-07-20 01:08:29 -04:00
Nicolas Setton	a5dfe8f511	Fix interruption of long processes.	2018-06-29 13:38:48 -04:00
Nicolas Setton	6f3ba6824c	Tentative to stabilize waiting for processes	2018-06-05 15:00:20 -04:00
Nicolas Setton	85bb873d17	Add the possibility to run programs ... This is deactivated for now.:	2017-10-10 12:01:19 -04:00
Nicolas Setton	291b6052be	Support several server instances ... To do this, we can no longer rely on in-memory sharing of data: instead, use the filesystem to store the output and status of the running processes.	2017-09-11 15:47:46 -04:00
Nicolas Setton	97d0ff0fb7	Minor UI improvements ... Fiddle with spacing, margin, fonts. Improve the display of errors. Add framework for launching several processes in succession.	2017-09-07 16:18:37 -04:00
Nicolas Setton	01b2214082	Asynchronousify the running of processes... ... ... and report the output in real time to the interface.	2017-09-07 12:09:54 -04:00