|
|
@@ -1116,7 +1116,7 @@ class WebServer: |
|
|
|
# So instead, use a wrapper script in Bash which sets the niceness and memory limit. |
|
|
|
cmd = [ |
|
|
|
os.path.join('.', os.path.dirname(__file__), 'nicegrep'), str(self.config['web']['search']['nice']), str(self.config['web']['search']['maxMemory']), |
|
|
|
'--fixed-strings', '--recursive', '--with-filename', '--null', '--line-number', |
|
|
|
'--fixed-strings', '--recursive', '--with-filename', '--null', '--line-number', '--text', |
|
|
|
] |
|
|
|
if 'casesensitive' not in request.query: |
|
|
|
cmd.append('--ignore-case') |
|
|
|