Re: server: Fix detection of duplicate console history lines. (v2)