function showtimeSelect($months, $weekdays, $days, $hours, $mins, $id_schedule)
{
$display = display_scripts($id_schedule);
$display .= display_months($months, $id_schedule);
$display .= '<hr>';
$display .= display_weekdays($weekdays, $id_schedule);
$display .= '<hr>';
$display .= display_days($days, $id_schedule);
$display .= '<hr>';
$display .= display_hours($hours, $id_schedule);
$display .= '<hr>';
$display .= display_mins($mins, $id_schedule);
$display .= '<script type="text/javascript">
monthSize();
weekdaySize();
</script>';
return $display;
}
$options['revision'] = $revision;
}
if (isset($options['import'])) {
if (empty($options['revision'])) {
usage(1, "Revision parameter --revision=<revision> is required!");
}
if (!file_exists($_file)) {
usage(2, "File '{$_file}' not found!");
}
import($options['branch'], $options['revision'], $options['import']);
} elseif (isset($options['results'])) {
display_results($options['branch']);
} elseif (isset($options['result-details'])) {
display_result_details($options['branch'], $options['result-details']);
} elseif (isset($options['scripts'])) {
display_scripts($options['scripts']);
} elseif (isset($options['features'])) {
display_features();
} elseif (isset($options['delete'])) {
if (empty($options['delete'])) {
usage(3, "You need to specify what so delete: <script-name>, <feature> or all!");
}
delete($options['branch'], $options['delete']);
} elseif (isset($options['run'])) {
if (empty($options['revision'])) {
usage(1, "Revision parameter --revision=<revision> is required!");
}
run($options['branch'], $options['revision'], $options['run']);
} elseif (isset($options['gui'])) {
if (empty($options['gui'])) {
$options['gui'] = 'localhost:8080';