Implement geographic area filtering for backends

Authored by vkrause on Dec 16 2018, 7:54 PM.

Description

Implement geographic area filtering for backends

This avoids sending queries to backends that aren't even remotely able to
provide a meaningful response.

Details

Committed
vkrauseDec 16 2018, 7:54 PM
Parents
R1007:f166025fc269: Merge departure results
Branches
Unknown
Tags
Unknown