[obs-commits] [openSUSE/open-build-service] 074095: [backend] make workerstatus report dead repservers...

12 May 2016


      Branch: refs/heads/master
  Home:   https://github.com/openSUSE/open-build-service
  Commit: 074095d4aaefb08b6a8a79eb6eccd939a5f3f0cf
      https://github.com/openSUSE/open-build-service/commit/074095d4aaefb08b6a8a79...
  Author: Michael Schroeder 
  Date:   2016-05-12 (Thu, 12 May 2016)

  Changed paths:
    M src/backend/bs_srcserver

  Log Message:
  -----------
  [backend] make workerstatus report dead repservers instead of failing