3 function sanitise_filename($file)
5 return str_replace('./','x',$file);
8 function load_mask($name, $prefix = '')
12 $name = sanitise_filename($name);
13 $file = $prefix . 'masks/' . $name . '.php';
15 if (!file_exists($file))
25 $dsn = sprintf('host=%s dbname=%s user=%s password=%s',DBHOST,DBNAME,DBUSER,DBPASS);
29 function load_js($jsfiles, $jscode)
32 foreach ($jsfiles as $file)
33 $ret .= sprintf('<script type="text/javascript" src="%s"></script>'."\n", $file);
36 $ret .= sprintf('<script type="text/javascript">'."\n%s\n</script>\n", implode("\n",$jscode));
43 if (!empty($_GET['mask'])) {
44 require_once('lib/mask.php');
45 return mask($_GET['mask']);
48 $masks = array('sys_user','sys_group','sys_mask',
49 'anbaugeraete','arbeitsarten','personal','materialien','gebiet','geraete',
50 'kostenstellen','materialverbrauch','einsatz');
52 foreach ($masks as $m)
53 $ret .= sprintf('<a href="index.php?mask=%s">%s</a><br>', $m, $m);
60 $html = '<div style="background: #DDD; margin: 5px; padding-left: 4px; border: 1px solid #AAA;clear:both;">';
61 $html .= "\n<pre>\n\$_SESSION = " . var_export($_SESSION,true) . "\n";
62 $html .= "\n\$_COOKIE = " . var_export($_COOKIE,true) . "\n</pre>\n";