Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove redirection in restricted mode
Since the redirection doesn't work in restricted mode, we only add it when `--shell-escape` has been given. Further, rather than reusing the glog file, we create a special file for capturing the redirection error. This addresses gregorio-project#1628.
- Loading branch information