logic bugfix when stopping apps after a solution is invalidated, fixes #30.