tree 9806456a441e451f03b8c5a74f6c1e26f4e5c440
parent 83ad2c0529210d8b1593994baf6941038522c716
author Davide Pesavento <davidepesa@gmail.com> 1547947430 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1547947485 -0500

ca-server: cleanup command-line options handling

Change-Id: I1acd7c7c776ee89cbc6c6f0b7e90c0ed42dcbb85