<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_te3nt31ec7au5fvjvh2m36td81, 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 />
svoid dm_action(fS desc, final Runnable r, O... _) {
  optPar bool printName = true;
  if (printName) print(desc);
  runInterruptibly(voidfunc(final Runnable interrupt) {
    temp AutoCloseable action = dm_currentAction(desc,
      r { print("INTERRUPTED"); callF(interrupt) });
    callF(r);
  });
}

svoid dm_action(Runnable r) {
  dm_action(str(r), r);
}