ninja-ide/ninja-ide — pull request #585 by diegosarmentero (2012-06-14 01:08:33+00:00)
Title: fixing segmentation fault

fixing segmentation fault