dont include polling time for batch duration for non-minutely updates, log name of...

[nominatim.git] / lib / init-cmd.php

<?php

        require_once('init.php');
        require_once('cmd.php');