chiark / gitweb /
manager: refuse reloading/reexecing when /run is overly full