Differences

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

--- stats:proc:validateaccount [2011/10/13 23:14] – created Patrick Michel
+++ stats:proc:validateaccount [2013/07/10 12:32] (current) – external edit 127.0.0.1
@@ Line 2: / Line 2: @@
 <code xcend>
-proc(string 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>