"
);
?>
# Getestet mit diesen Testzeiten
# $frame[] = "10-12";
# $frame[] = "10:30-12";
# $frame[] = "10.20-12";
# $frame[] = "12";
# $frame[] = "11.30";
# $frame[] = "23.29";
# $frame[] = "23.30";
#
# while (list($k,$v) = each ($frame)) {
# $foo = split_timeframe ($v);
# printf ("%s -- %s - %s", $v, $foo[0], $foo[1]);
# }
#
0:00
if ($frompart[2] <30) {
$to = sprintf ("%02d:%02d", $frompart[1], $frompart[2]+30);
} else {
$to = sprintf ("%02d:%02d", $frompart[1]+1, ($frompart[2]+30)%60);
}
}
# Special encoding for 24:00 which we can't handle otherwise
if ($from == "24:00") { $from = "23:59"; }
if ($to == "24:00") { $to = "23:59"; }
return array ($from, $to);
}
?>
0) {
$row = pg_fetch_array ($sth, 0);
$query = sprintf ("SELECT max,person FROM fragment,assignment WHERE id = %d "
."AND fragment.id = assignment.fragment",
$fragment);
$sth = pg_exec ($dbh, $query) or die("Datenbank-Abfrage!");
if ( pg_NumRows ($sth) > 0) {
$row = pg_fetch_array ($sth, 0);
if (pg_NumRows ($sth) >= $row['max']) {
return 0;
} else {
return $row['max'] - pg_NumRows ($sth);
}
} else {
return $row['max'];
}
} else {
return 0;
}
}
?>
| Name | ';
$f_header_tail = '';
$f_header_day = '%s | ';
$f_row_head = '| '
.'%s | ';
$f_row_tail = '
';
$f_row_day = '%s | ';
?>
Title | ';
$f_header_tail = '';
$f_header_day = '%s | ';
$f_row_head = '| '
.'%s | ';
$f_row_tail = '
';
$f_row_day = '%s | ';
?>
# Local variables:
# mode: text
# mode: auto-fill
# end: