|
|
ded70d1c71
|
Fixed: CORS Error by providing user server with necessary policies, also removed dead code
|
2025-09-15 21:55:33 +02:00 |
|
|
|
6606b874e5
|
Fixed: Nginx WebSocket configuration causing Single User Servers to miss out api requests
|
2025-09-15 21:14:54 +02:00 |
|
|
|
a5688c071d
|
Added: Changed Nginx
|
2025-09-15 16:19:07 +02:00 |
|
|
|
8d9291d312
|
Added: Changed DockerSpawner
|
2025-09-15 15:31:53 +02:00 |
|
|
|
990cc84c5f
|
Added: Example .env
|
2025-09-15 13:45:55 +02:00 |
|
|
|
d7e7733166
|
Added Nbgrader
|
2025-07-15 18:40:59 +02:00 |
|
