User Tools

Site Tools


stats:proc:openregistration

Differences

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

Link to this comparison view

Next revision Both sides next revision
stats:proc:openregistration [2011/11/28 17:03]
Patrick Michel created
stats:proc:openregistration [2012/01/11 14:44]
Patrick Michel
Line 7: Line 7:
   assume exists //​exams/​exam[id];​   assume exists //​exams/​exam[id];​
   ​   ​
-  assume not exists ​//​exams/​exam[id]/​free;​+  assume not //​exams/​exam[id]/​free;​
   ​   ​
-  ​insert ​//​exams/​exam[id] ​<​free ​/>;+  ​update ​//​exams/​exam[id]/​free true;
 } }
 </​code>​ </​code>​
  
stats/proc/openregistration.txt ยท Last modified: 2013/07/10 12:32 (external edit)