|
1c18b797e0
|
backend: generate events.json when needed
|
2018-05-11 05:27:51 +02:00 |
|
|
c18465d498
|
Reserved directory for public interface now lives in public instead of _public
|
2018-05-11 05:27:50 +02:00 |
|
|
e083da2f72
|
Remove team's initial_name, replaced by their ID
|
2018-05-11 05:27:50 +02:00 |
|
|
9d4c048f0e
|
backend: add debug logs
|
2018-01-18 12:08:12 +01:00 |
|
|
def822cd45
|
frontend: avoid RW access to TEAMS dir by placing startedFile into submissions
|
2018-01-17 18:52:36 +01:00 |
|
|
80d06f237c
|
backend: log generation errors
|
2018-01-17 18:51:54 +01:00 |
|
|
1c62f61bf0
|
Backend: extract file generation and team renaming in dedicated files
|
2016-10-13 19:56:27 +02:00 |
|