<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_2vps08a38osi19m4lcj0v4fe0h, 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 />
!7

concept GModule {
  S moduleID, moduleLibID;
  S userID; // e. g. discord user id
  S userName;
  S shorthand;
}

cmodule GModulesManager > DynCRUD<GModule> {
  // API
  
  S startModuleForUser(S moduleLibID, S userID, S userName, S shorthand) {
    Pair<GModule, Bool> p = uniqConcept2(+userID, +shorthand);
    if (!p.b) ret "Module already running";
    cset(p.a, +userName, +moduleLibID);
    print("Starting module: " + moduleLibID);
    cset(p.a, moduleID := dm_makeNewModule(moduleLibID));
    ret print("Module " + moduleLibID + " started for " + userName + " as " + quote(shorthand));
  }
}