parsav  Diff

Differences From Artifact [148acf7303]:

To Artifact [97c704e199]:


    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)