<?
function getthismonday($week) {
        global $deadline_day, $deadline_hour, $deadline_minute;
        $day_in_week = strtotime(sprintf("{$week['year']}-01-04 + %d weeks", $week['week'] - 1));
        return $day_in_week - ((date('w', $day_in_week) + 6)%7)*24*60*60;
}


function get_opm_id($llnr, $text) {
	global $db;
	if (mdb2_exec_error($db, MDB2_ERROR_CONSTRAINT, "INSERT INTO opm ( llnr, text ) VALUES ( '%q', '%q' )", $llnr, $text)) {
		return $db->lastInsertID();
	} else {
		return mdb2_single_val($db, "SELECT opm_id FROM opm WHERE llnr = '%q' AND text = '%q'", $llnr, $text);
	}
	assert(false);
}

function collectargs($source, $list) {
	$out = array();
	foreach ($list as $arg) {
		if (isset($source[$arg])) {
			$out[] = urlencode($arg).'='.urlencode($source[$arg]);
		}
	}
	return '?'.implode('&amp;', $out);
}

?>