stats:proc:deleteaccount
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| stats:proc:deleteaccount [2011/09/29 19:30] – Patrick Michel | stats:proc:deleteaccount [2013/07/10 12:34] (current) – external edit 127.0.0.1 | ||
|---|---|---|---|
| Line 3: | Line 3: | ||
| <code xcend> | <code xcend> | ||
| deleteAccount(ident uid, ident username) { | deleteAccount(ident uid, ident username) { | ||
| - | assume exists | + | assume exists / |
| assume uid != username; # or do we want to allow an admin to delete himself? | assume uid != username; # or do we want to allow an admin to delete himself? | ||
| - | assume exists | + | assume exists / |
| | | ||
| - | assume size(//accounts/ | + | assume size(/ |
| - | assume size(//accounts/ | + | assume size(/ |
| - | assume size(//accounts/ | + | assume size(/ |
| # not yet a constraint of the implementation, | # not yet a constraint of the implementation, | ||
| - | if exists | + | if exists / |
| - | assume size(//accounts/ | + | assume size(/ |
| fi | fi | ||
| - | if exists | + | if exists / |
| - | assume size(//exercises/exercise/students/student[//accounts/ | + | assume size(/ |
| - | assume size(//exams/exam/results/ | + | assume size(/ |
| fi | fi | ||
| | | ||
| - | remove | + | remove / |
| } | } | ||
| </ | </ | ||
stats/proc/deleteaccount.1317317409.txt.gz · Last modified: by Patrick Michel