<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_jn828t7gthu2fm0uk3s74mdm0n, O_RDWR) failed: No space left on device (28) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
<br />
<b>Warning</b>:  session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in <b>/var/www/tb-usercake/models/config.php</b> on line <b>51</b><br />
// Complete for Java code
// Incomplete for JavaX code
svoid tok_pingify(LS tok) {
  // Java
  
  jreplace(tok, "for (", "for ping (");
  jreplace(tok, "while (", "while ping (");
  jreplace(tok, "do {", "do { ping();");
  
  // JavaX - TODO: make sure we have all the constructs
  
  //jreplace(tok, "for $id to *:", "for $2 to $4: "... // TODO
  
  jreplace(tok, "while <id> {", "while $2 { ping();");
  jreplace(tok, "repeat * {", "repeat $2 { ping();");
}