<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_siq0bgqdgoss0lccuqrl4arnem, 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

module AutoReloadButtons > DynPrintLogAndEnabled {
  start {
    dm_requireModule("#1019239/SnippetUpdates");
    dm_vmBus_onMessage('snippetUpdate, voidfunc(fL l) enter {
      switch to q();
      S uri = getString(l, 1);
      new Matches m;
      if (swic(uri, "/transpileOK/", m)) {
        S snippetID = fsI(firstIntAsString(m.rest()));
        print("Added reload button to module " + snippetID);
        for (O mod : dm_modulesWithSnippetID(snippetID))
          dm_addReloadButtonToModuleTitlePane(mod);
      }
    });
  }
}