tree 1d2f5e9aeb7e76731359af996efcbdb799ecbb87
parent ec8157c196bc2986da580fa5550d5ce82f66ed67
author Antonio García-Domínguez <agarcdomi@gmail.com> 1592146216 +0100
committer Antonio García-Domínguez <agarcdomi@gmail.com> 1592146216 +0100

UI: further tweaks to avoid error messages from stopped Hawk servers