„resource_property_definitions.options must not be null.“ beim Anlegen einer Eigenschaft als dozent mit admin-Berechtigungen in der Raumverwaltung
Beschreibung
Wenn ich dozent-Berechtigungen habe und zusätzlich dazu globale Raumadmin-Rechte, so kann ich keine Eigenschaft in der Raumverwaltung anlegen. Wenn ich auf „Eigenschaft hinzufügen“ klicke, das Formular ausfülle und dann auf „Speichern“ klicke, erhalte ich folgende Fehlermeldung:
resource_property_definitions.options must not be null.
Aufgefallen in Stud.IP 5.3.