dmwm/DDM — pull request #43 by DomenicoGiordano (2014-08-27 09:05:42+00:00)
Title: Bug fixes

Fixes problems reported in

https://github.com/dmwm/DDM/issues/41

https://github.com/dmwm/DDM/issues/42

The currently running code has been already patched to include those changes