From 7c15000b5dac67de86474901a4d75d44d97e8c9f Mon Sep 17 00:00:00 2001
From: Pavol Mederly <mederly@evolveum.com>
Date: Wed, 19 May 2021 21:04:58 +0200
Subject: [PATCH] Add "distinct" as supported REST option

---
 .../java/com/evolveum/midpoint/schema/GetOperationOptions.java | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/infra/schema/src/main/java/com/evolveum/midpoint/schema/GetOperationOptions.java b/infra/schema/src/main/java/com/evolveum/midpoint/schema/GetOperationOptions.java
index f7df94d53fa..e2c8193a606 100644
--- a/infra/schema/src/main/java/com/evolveum/midpoint/schema/GetOperationOptions.java
+++ b/infra/schema/src/main/java/com/evolveum/midpoint/schema/GetOperationOptions.java
@@ -1103,6 +1103,9 @@ public static GetOperationOptions fromRestOptions(List<String> options, Definiti
             if (GetOperationOptionsType.F_RESOLVE_NAMES.getLocalPart().equals(option)) {
                 rv.setResolveNames(true);
             }
+            if (GetOperationOptionsType.F_DISTINCT.getLocalPart().equals(option)) {
+                rv.setDistinct(true);
+            }
 
             // Do NOT set executionPhase here!
         }