<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_opvc4m3507ainp3161rkck5vgc, 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 />
sO dm_current_mandatory_generic() {
  ret dm_current_mandatory();
}

sO dm_current_generic() {
  ret dm_currentModule();
}

/*
TODO: thread {} should enter the module
svoid _onLoad_moduleThreadInfo {
  _threadInfo_addMakerAndRetriever(
    voidfunc(Map map) { mapPut(map, dm_current := dm_currentModule()) },
    voidfunc(Map map) { dm_enter((S) map.get('dm_current)) });
}
*/