Sebastian Lackner : server: Fix detection of duplicate console history lines.