Sebastian Serth cc90861bd5 Generate Session ID on server for synchronized editor ...

This change allows us to use the session ID immediately for the connection_change and connection_status methods. Hence, we can identify different browser sessions of the same user.

2023-09-12 18:47:06 +02:00

..

migrate

Generate Session ID on server for synchronized editor

2023-09-12 18:47:06 +02:00

scripts

Refactor LTI parameters and add study group

2023-08-24 19:32:06 +02:00

seeds

Rename user to contributor in submission

2023-08-24 19:32:06 +02:00

schema.rb

Generate Session ID on server for synchronized editor

2023-09-12 18:47:06 +02:00

seeds.rb

Migrate default intervalstyle in database

2022-12-06 23:43:23 +01:00