This repository was archived by the owner on Dec 18, 2017. It is now read-only.
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fix #876, Correct handling of quotation marks in commands
- remove extra quotes around `cmd /c` arguments - prevented && and similar special cases - don't strip quotes surrounding command-line arguments - prevented command paths and arguments containing spaces - `CommandGrammar` may need additional generalizations - e.g. unquoted term can't contain more than one escape sequence - but it's probably good enough for now
- Loading branch information