changed something dumb I did at some point
Merge branch 'master' of https://github.com/AKQASF/souffle
changed get_server method