fix(cli/server): apply log filter to both log message and name#9232

Merged

ammario merged 1 commit intomainfrom

Aug 21, 2023

Commits on Aug 21, 2023

fix(cli/server): apply log filter to log message as well as name
ammario
committed