Matthias Fischmann

i will try to find the time to implement some load testing to confirm this is not an issue. we wanted to do that anyway.

Related #942. That change is just about avoiding mistakes in the future, so it doesn't fix any problems, especially not this here (if it exists).

this is a non-trivial change. in particular, we need to move all DOM event handlers from HTML attributes to js files and register them in code. i think it's worth...

(I think it may be nice to use https://github.com/soenkehahn/getopt-generics for this, but only if it can do what i remember, rather than just the stuff that's described in the readme.)

(With a little luck, we won't have any database changes in #1001, #1002. In any case we should move this issue to milestone 2017-03-31 when done here.)

after upgrading from 0.32.0 to 0.33.0, i get this: ``` 2016-12-11 22:48:21.180423 UTC [ERROR] openLocalStateFrom failed: Could not parse saved checkpoint due to the following error: too few bytes From:...

(perhaps `kill $pid` is a bit harsh?)

No, stupid me. `SchoolClass` now contains a `ClassName` instead of an `ST`. So it's time to write some more safecopy types...

The `ClassName` change was a mistake, I should have said no to this in the beginning. Migrating is feasible, but much more work than reverting to the old `AulaData` type,...

nope, neither of them is simple. :-(