From ae3504a70a6dd33996863e7f5a8627707f00da32 Mon Sep 17 00:00:00 2001 From: Karl Burkhart Date: Tue, 6 Sep 2011 14:56:51 +0000 Subject: [PATCH] --- rdf/ressource.rdf.php | 32 +++++++++++++++++++++++++++++++- 1 file changed, 31 insertions(+), 1 deletion(-) diff --git a/rdf/ressource.rdf.php b/rdf/ressource.rdf.php index 1a7e85022..143859faa 100644 --- a/rdf/ressource.rdf.php +++ b/rdf/ressource.rdf.php @@ -45,13 +45,16 @@ echo ' '; $ressource = new ressource(); -$ressource->getRessourcen(); +$ressource->getAllRessourcen(); foreach ($ressource->result as $res) { draw_ressource($res); } + + + $seq= " @@ -68,8 +71,35 @@ $seq= " $seq.="\n\t\t\n\t"; + +draw_caption('mitarbeiter'); +draw_caption('studenten'); +draw_caption('betriebsmittel'); +draw_caption('firmen'); echo $seq; +function draw_caption($name) +{ + global $rdf_url; + + echo ' + + + + + + + + + + + + + + + '; +} + // funktion zum ausgeben der einzelnen ressourcen -> es wird unterschienden ob mitarbeiter/student/betriebsmittel/firma function draw_ressource($ressource)