stats:proc:revoketutorrights
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| stats:proc:revoketutorrights [2011/11/02 14:39] – Patrick Michel | stats:proc:revoketutorrights [2013/07/10 12:33] (current) – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 3: | Line 3: | ||
| <code xcend> | <code xcend> | ||
| revokeTutorRights(ident uid, ident username, ident exerciseId, ident groupId) { | revokeTutorRights(ident uid, ident username, ident exerciseId, ident groupId) { | ||
| - | assume exists | + | assume exists / |
| | | ||
| - | assume exists | + | assume exists / |
| - | assume exists | + | assume exists / |
| # implied by integrity and the assumption before | # implied by integrity and the assumption before | ||
| - | remove | + | remove / |
| - | if size(//accounts/ | + | if size(/ |
| - | remove | + | remove / |
| fi | fi | ||
| - | remove | + | remove / |
| } | } | ||
| </ | </ | ||
stats/proc/revoketutorrights.1320241142.txt.gz · Last modified: by Patrick Michel
