User names are case insensitive

Fix: #91
io7m-com · Oct 20, 2023 · a0368b3 · a0368b3
1 parent de1b42e
commit a0368b3
Show file tree

Hide file tree

Showing 5 changed files with 236 additions and 160 deletions.
diff --git a/...tgres/src/main/java/com/io7m/idstore/database/postgres/internal/IdDatabaseExceptions.java b/...tgres/src/main/java/com/io7m/idstore/database/postgres/internal/IdDatabaseExceptions.java
@@ -125,7 +125,7 @@ yield new IdDatabaseException(
             Objects.requireNonNullElse(serverError.getConstraint(), "");
 
           yield switch (constraint) {
-            case "users_id_name_key" -> {
+            case "users_id_name_index" -> {
               yield new IdDatabaseException(
                 "User ID name already exists",
                 USER_DUPLICATE_ID_NAME,