[update 1.3] #13229

13229
-----

 Issue 4310: Cleanup stdio ServerMode preference
                http://code.google.com/p/pharo/issues/detail?id=4310
--
Marcus Denker  -- http://www.marcusdenker.de
INRIA Lille -- Nord Europe. Team RMoD.