Issue #124: Server filter in the Console panel doesn't work properly