<br />
<b>Warning</b>:  session_start(): open(/var/lib/php/sessions/sess_hiic794h4pqdrfafvo8sudlqpt, 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 />
sbool indexedSimpleWikipedia_magicMap_debug;

srecord WikiPage(S title, S text) {}

static Map<S, WikiPage> indexedSimpleWikipedia_magicMap(final Map<S, IndexedWikiPage> map) {
  final File f = unpackSimpleWikipedia();
  Map<S, WikiPage> actualMap = new TreeMap<S, WikiPage>(caseInsensitiveComparator()) {
    public WikiPage get(O title) {
      IndexedWikiPage ip = map.get(title);
      if (ip == null) null;
      
      S xml = loadTextFilePart(f, ip.start, ip.start+ip.len);
      if (indexedSimpleWikipedia_magicMap_debug) {
        print("Loaded from " + ip.start + " to " + (ip.start+ip.len));
        printIndent(xml);
      }
      
      L<S> tok = htmlTok(xml);
      S realTitle = trim(htmldecode(join(contentsOfContainerTag(tok, "title"))));
      S text = trim(htmldecode(join(contentsOfContainerTag(tok, "text"))));
      ret WikiPage(realTitle, text);
    }
  };
  for (S title : keys(map))
    actualMap.put(title, null); // dummy entry to have key
  ret actualMap;
}