dmwm/CRABServer — pull request #4220 by AndresTanasijczuk (2014-02-27 10:36:32+00:00)
Title: Fix for issue 4216

trivial fix