chiark / gitweb /
update control buttons when disconnection detected