<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_n1kberf9j4n6ach9f9hv6jufmo, 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 />
// Syntax: time { doFunnyStuff(); }

!752

p {
  L<S> tok = tokMainJava();
  
  tok = replaceKeywordBlock(tok,
    // keyword to match
    "time",
    
    // beginning of replacement block
    "{ long __time_startTime = now(); try { ",
    
    // end of replacement block
    "} finally { __time_startTime = now()-__time_startTime; saveTiming(__time_startTime); } }"); 
    
  saveMainJava(tok);
}