
Not all gerrit installations are configured the same. This adds parameters to the gerrit sync script and expire script so that it can work from the command line and cron on all servers. Fixes bug #994201 Change-Id: Iac37e18aaf7a10fb5594be233e33b000eabed336