Add additional getters to SessionRegistry with UserId and username as key #230

Merged
lars.winzer merged 4 commits from feat/47-sessionregistry-get-by-userid-and-username into main 2026-04-02 14:23:43 +02:00
lars.winzer commented 2026-04-02 14:22:17 +02:00 (Migrated from git.scicore.unibas.ch)

Added new getter (getByUserId and getByUsername ) to allow for retrieval of user by the UserId or username.

Refactored methods to use the get prefix, instead of find.

Added and updated JavaDoc.

Closes #47

Added new getter (`getByUserId` and `getByUsername` ) to allow for retrieval of user by the `UserId` or username. Refactored methods to use the get prefix, instead of find. Added and updated JavaDoc. Closes #47
lars.winzer (Migrated from git.scicore.unibas.ch) scheduled this pull request to auto merge when all checks succeed 2026-04-02 14:22:24 +02:00
lars.winzer commented 2026-04-02 14:23:43 +02:00 (Migrated from git.scicore.unibas.ch)

mentioned in commit cf64f11912

mentioned in commit cf64f11912966566a428c7130f5d40fe27a75187
lars.winzer (Migrated from git.scicore.unibas.ch) merged commit cf64f11912 into main 2026-04-02 14:23:43 +02:00
This repo is archived. You cannot comment on pull requests.
No Reviewers
1 Participants
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: University-of-Basel-Studentprojects/Programmierprojekt#230