userOptions.php

Go to the documentation of this file.

<?php
// This is a command line script, load tools and parse args
require_once 'userOptions.inc';

// Load up our tool system, exit with usage() if options are not fine
$uo = new userOptions( $options, $args );

$uo->run();

print "Done.\n";