diff options
Diffstat (limited to 'request.php')
-rw-r--r-- | request.php | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/request.php b/request.php index 594ae4f..2866ada 100644 --- a/request.php +++ b/request.php @@ -43,7 +43,7 @@ $expressions = array_map('escapeshellarg', $expressions); $expressions = implode(' ', $expressions); $extended = $extended ? '-e' : ''; -$call = './LogicParser -b -nt ' . $extended . ' ' . $expressions; +$call = './LogicParser -b -nt -html ' . $extended . ' ' . $expressions; $out = []; exec($call, $out); |