remove duplication of --no-dns

This was harmless, but annoying.
2016-07-06 23:21:42 +01:00
1 parent 93c60395f6
commit 7ec68119a6
@@ -1583,7 +1583,6 @@ launch_router() {
            --no-dns)
                DNS_ROUTER_OPTS=
                NO_DNS_OPT="--no-dns"
-                ARGS="$ARGS $1"
                ;;
            --no-restart)
                RESTART_POLICY=