diff options
| author | Camil Staps | 2015-07-03 23:39:40 +0200 |
|---|---|---|
| committer | Camil Staps | 2015-07-03 23:41:02 +0200 |
| commit | f0ed4df2b0e11ab66966a8395cd7d6d29c7a8efc (patch) | |
| tree | ecdfbd232e1710f67c233c3e4281560f0344a10c /request.php | |
| parent | Installation (diff) | |
Latex & Html output 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); |