source: trunk/src/map/inc/node_info.php@ 7755

<?php
if(isset($_GET['view']))
{
        setcookie("view", $_GET['view']); 
        $view = $_GET['view'];
}
else
{
        if(isset($_COOKIE['view']))
        {
                $view = $_COOKIE['view'];
        }
        else
                $view = "gebruiker";
}

//TYPES of nodes. 'cluster' is a cluster node. 'single' is an individual node.
if(!isset($_GET['type']))//
{
        echo <<<EOF
                <div id="nodeinfo">
                        <b>Mouse over</b> een node voor meer informatie.<br/><br/>
                        <b>Klik</b> op een node om deze te selecteren.<br/><br/>
                        Gebruik de <b>zoekfunctie</b> om de een specifieke node te zoeken.
                </div>
                <div id="timestamp">
                        Laatste update: 15:42 <br/>
                        Do 25 maart
                </div>
EOF;
        
}
elseif($_GET['type'] == "single") //Info for single nodes is stored here
{
        if($view == "beheerder")//Display part for beheerder view of a single node
        {
                echo <<<EOF
                <div id="nodeinfo">
                        <h1>Nodenaam</h1>
                        <h2>
                        Locatie: Oude Adeweg Leiderdorp <br/>
                        Meer info: <br/>
                        >>>>>>: <br/>
                        >>>>>>: <br/>
                        >>>>>>: <br/>
                        >>>>>>: <br/>
                        
                        BEHEERDERSVIEW
                        </h2>
                </div>
                <div id="timestamp">
                        Laatste update: 15:42 <br/>
                        Do 25 maart
                </div>
EOF;
        }
        elseif($view == "gebruiker")//Display part for gebruiker view of a single node
        {
                echo <<<EOF
                <div id="nodeinfo">
                        <h1>Nodenaam</h1>
                        <h2>
                        Locatie: Oude Adeweg Leiderdorp <br/>
                        Meer info: <br/>
                        >>>>>>: <br/>
                        >>>>>>: <br/>
                        >>>>>>: <br/>
                        >>>>>>: <br/>
                        
                        GEBRUIKERSVIEW
                        </h2>
                </div>
                <div id="timestamp">
                        Laatste update: 15:42 <br/>
                        Do 25 maart
                </div>
EOF;
        }
}       
elseif($_GET['type'] == "cluster")
{
        $markerTitles = unserialize($_GET['markers']);
        
        echo <<<EOF
        <div id="nodeinfo">
                <h1>Nodes:</h1>
                <h2>
                Lijst met nodes in deze cluster<br/>
                <div id="clusterlist">
                <select multiple>
EOF;
        foreach($markerTitles as $marker)
        {
                echo "<option value='".$marker."'>".$marker."</option>";
        }

        echo <<<EOF
                </select><br/>
                </div>
                </h2>
        </div>
        <div id="timestamp">
                Laatste update: 15:42 <br/>
                Do 25 maart
        </div>
EOF;
}