User Tools

Site Tools


stats:proc:opensignup

Differences

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

Link to this comparison view

Next revision
Previous revision
stats:proc:opensignup [2011/10/15 19:41]
Patrick Michel created
stats:proc:opensignup [2013/07/10 12:32] (current)
Line 1: Line 1:
-====== Open Registration ​======+====== Open Sign-Up ​======
  
 <code xcend> <code xcend>
-openRegistration(string ​uid, string ​id) { +openSignUp(ident uid, ident id) { 
-  assume exists ​//accounts/​account[uid]/​assistant[id];​+  assume exists /​account[uid]/​assistant[id];​
   ​   ​
-  assume exists ​//exercises/​exercise[id];​+  assume exists /​exercise[id];​
   ​   ​
-  assume not //exercises/​exercise[id]/​open;​+  assume not /​exercise[id]/​open;​
   ​   ​
-  update ​//exercises/​exercise[id]/​open true;+  update /​exercise[id]/​open true;
 } }
 </​code>​ </​code>​
  
stats/proc/opensignup.1318700482.txt.gz · Last modified: 2011/10/15 19:41 by Patrick Michel