Changed 'server' argument name to 'server_id' in dns_server.py Changed 'Domain' to 'DNS Domain' in helptext for dns_server.py
Changed 'server' argument name to 'server_id' in dns_server.py
Changed 'Domain' to 'DNS Domain' in helptext for dns_server.py

dmpiergiacomo/scion,FR4NK-W/osourced-scion,dmpiergiacomo/scion,Oncilla/scion,netsec-ethz/scion,dmpiergiacomo/scion,FR4NK-W/osourced-scion,Oncilla/scion,dmpiergiacomo/scion,klausman/scion,dmpiergiacomo/scion,netsec-ethz/scion,klausman/scion,netsec-ethz/scion,Oncilla/scion,netsec-ethz/scion,FR4NK-W/osourced-scion,dmpiergiacomo/scion,FR4NK-W/osourced-scion,Oncilla/scion,klausman/scion,klausman/scion,klausman/scion,FR4NK-W/osourced-scion