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";