|
|
@@ -1078,6 +1078,7 @@ class WebServer: |
|
|
|
] |
|
|
|
if 'casesensitive' not in request.query: |
|
|
|
cmd.append('--ignore-case') |
|
|
|
cmd.append('--') |
|
|
|
cmd.append(request.query['q']) |
|
|
|
for path in itertools.chain((request.match_info['path'],), self._paths[request.match_info['path']][3]): |
|
|
|
cmd.append(os.path.join(self.config['storage']['path'], path, '')) |
|
|
|