Skip to content

Commit

Permalink
Add "distinct" as supported REST option
Browse files Browse the repository at this point in the history
  • Loading branch information
mederly committed May 19, 2021
1 parent f7c6583 commit 7c15000
Showing 1 changed file with 3 additions and 0 deletions.
Expand Up @@ -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!
}
Expand Down

0 comments on commit 7c15000

Please sign in to comment.