Small bug fixes

Daniele Venzanorequested to merge
devel/platform_status into master
  • print floats with only 2 decimals in the status page
  • delete dead containers that are forgot after crashing
  • reconsider services for scheduling that should be active, but are dead (they crashed and are elastic)

Merge request reports