|
a/webui.py |
|
b/webui.py |
|
... |
|
... |
| 123 |
dirs = [top]
|
123 |
dirs = [top]
|
| 124 |
for d in range(1, depth+1):
|
124 |
for d in range(1, depth+1):
|
| 125 |
dirs = dirs + glob.glob(top + '/*' * d)
|
125 |
dirs = dirs + glob.glob(top + '/*' * d)
|
| 126 |
dirs = filter(lambda f: os.path.isdir(f), dirs)
|
126 |
dirs = filter(lambda f: os.path.isdir(f), dirs)
|
| 127 |
top_path = top.rsplit('/', 1)[0]
|
127 |
top_path = top.rsplit('/', 1)[0]
|
| 128 |
dirs = [w.replace(top_path+'/', '') for w in dirs]
|
128 |
dirs = [w.replace(top_path+'/', '', 1) for w in dirs]
|
| 129 |
v = v + dirs
|
129 |
v = v + dirs
|
| 130 |
return ['<all>'] + v
|
130 |
return ['<all>'] + v
|
| 131 |
#}}}
|
131 |
#}}}
|
| 132 |
#{{{ get_query
|
132 |
#{{{ get_query
|
| 133 |
def get_query():
|
133 |
def get_query():
|