Skip to content

Commit

Permalink
CIL-1784, CIL-1828
Browse files Browse the repository at this point in the history
  • Loading branch information
[email protected] authored and [email protected] committed Mar 14, 2024
1 parent a72b042 commit 24cfe40
Showing 1 changed file with 4 additions and 1 deletion.
5 changes: 4 additions & 1 deletion server-admin/src/main/resources/qdl/ligo/vo4/rtx.qdl
Original file line number Diff line number Diff line change
Expand Up @@ -7,7 +7,10 @@
requested_scopes. := (0 < size(tx_scopes.))?tx_scopes.:scopes.;
trace('IGWN', 'requested scopes = ' + to_string(requested_scopes.));
trace('IGWN', 'original scopes = ' + to_string(original_scopes.));
permissions. := resolve_templates(scopes., requested_scopes., false); // Only grant scopes already granted
// Only grant scopes already granted, fixes CIL-1784, CIL-1828
σ()→ (∃original_scopes. ∧ !is_null(original_scopes.))⇒original_scopes.:scopes.;
permissions. := resolve_templates(σ(), requested_scopes., false);
//permissions. := resolve_templates(scopes., requested_scopes., false);
trace('IGWN', 'permissions = ' + to_string(permissions.));
//permissions. := ~mask(permissions., !'write:/staging.*' =~ permissions.);
permissions. := ~(!'write:/staging/.*|'+robot_caput+'.*'=~permissions.)⌆permissions.; // CIL-1886 fix
Expand Down

0 comments on commit 24cfe40

Please sign in to comment.