December 27, 2017

More performance for server list

New on github: Now we have a second table for a list of all server names we ever saw. Those IDs are used for filtering by server too.

An additional cron job completes the relations of new log entries every minute.