Olivier Crête 39bbccdf79 pulsedevicemonitor: Index are per facility, not global
So need to keep the type of device in the device object
2014-05-04 01:14:39 -04:00
..
2014-01-31 14:17:54 +00:00
2014-03-26 08:03:46 +01:00
2014-05-02 09:45:07 +01:00