chiark / gitweb /
shutdown: don't complain if we cannot lock memory, to make container shutdowns clean