Franz Liedke 95d2ba3eb7 Rely on default modal error handling
This also gives the server-side the chance to add more different error
messages / additional behavior without having to change the frontend.

Refs #18.
2020-02-07 11:55:38 +01:00
..
2020-02-07 11:55:38 +01:00
2018-06-20 13:35:25 +09:30
2018-06-20 13:35:25 +09:30
2020-02-07 11:33:23 +01:00
2020-02-07 11:33:23 +01:00
2018-06-20 13:35:25 +09:30