Differences From
Artifact [148acf7303]:
67 67
68 68 local terra
69 69 pushbranches(list: &lib.str.acc, idx: intptr, ps: lib.store.powerset): {}
70 70 var [pages] = array([allpages])
71 71 var started = false
72 72 for i=0,[pages.type.N] do
73 73 if pages[i].parent == idx+1 and (pages[i].priv:sz() == 0 or
74 - (ps and pages[i].priv) == pages[i].priv) then
74 + (ps and pages[i].priv):sz() ~= 0) then
75 75 if not started then
76 76 started = true
77 77 list:lpush('<ul>')
78 78 end
79 79 list:lpush('<li><a href="/doc/'):rpush(pages[i].name):lpush('">')
80 80 :rpush(pages[i].title):lpush('</a>')
81 81 pushbranches(list, i, ps)