dmwm/CRABServer — pull request #4527 by belforte (2014-11-20 12:49:25+00:00)
Title: fix #4526

please check since I am not used to git in this env. Did a zilion rebase/check/commit/merge/push... and am a bit worried of not having things under control. The file I edited is OK, but since I have to submit a full repository...