ninja-ide/ninja-ide — pull request #1842 by juancarlospaco (2014-09-19 23:57:14+00:00)
Title: Fix #1593

- Fix #1593
- Single line fix.
- If ok be silent, if error detected complain about the error.