ninja-ide/ninja-ide — pull request #688 by diegosarmentero (2012-07-01 03:54:10+00:00)
Title: fixing bug with logger

fixing bug with logger