User Tools

Site Tools


stats:proc:validateaccount

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
stats:proc:validateaccount [2011/10/13 23:16]
Patrick Michel
stats:proc:validateaccount [2013/07/10 12:32] (current)
Line 3: Line 3:
 <code xcend> <code xcend>
 validateAccount(ident username, string code) { validateAccount(ident username, string code) {
-  assume exists ​//accounts/​account[username]/​code;​ # implies existence of the account+  assume exists /​account[username]/​code;​ # implies existence of the account
   ​   ​
-  assume ​//accounts/​account[username]/​code = code;+  assume /​account[username]/​code = code;
   ​   ​
-  remove ​//accounts/​account[username]/​code;​+  remove /​account[username]/​code;​
 } }
 </​code>​ </​code>​
  
stats/proc/validateaccount.1318540570.txt.gz ยท Last modified: 2011/10/13 23:16 by Patrick Michel