header_management.php

<?php
/*
 * Copyright (c) 2017 António 'Tó' Godinho <to@isec.pt>.
 * Copyright (c) 2018 JP P
 * This program is free software; Distributed under the terms of the GNU GPL v3.
 */
require_once './db_OpenArmor.php';
if ( ! empty($auth) )
{	$USER = " (" . $_SESSION['myname'] . ")";
} else
{	$USER = "";
}

if ( constant('DB_TYPE_O') == 'history' ) 
  { print ('<nav classname="MyNavbar" class="navbar navbar-inverse navbar-expand-lg navbar-fixed-top">');
    print ('<div class="container-fluid">');
    print ('<div class="navbar-header">');
    print ('<a href="./index.php?" class="navbar-brand text-primary">OpenArmor - GUI - ' . $VERSION  . ' Mode:History' . ' ' . $USER . '</a>');
    print ('</div>');
  } else
  { print ('<nav classname="MyNavbar" class="navbar navbar-inverse navbar-expand-lg navbar-fixed-top">');
    print ('<div class="container-fluid">');
    print ('<div class="navbar-header">');
    print ('<a href="./index.php?" class="navbar-brand text-primary">OpenArmor - GUI - ' . $VERSION .  ' Mode:Running' . ' ' . $USER . '</a>');
    print ('</div>');
  }
?>
        
        <ul class="nav navbar-nav navbar-right">
            <?php
            if (isset($glb_OpenArmordb) && count($glb_OpenArmordb) > 1) {
                ?>
                <li class="dropdown">
                    <a href="#" class="dropdown-toggle" data-toggle="dropdown" role="button" aria-haspopup="true"
                       aria-expanded="false">Dropdown <span class="caret"></span></a>
                    <ul class="dropdown-menu">
                        <form action='./management.php'>
                            <select name='glb_OpenArmordb'
                                    onchange='document.cookie = \"OpenArmordbjs=\"+glb_OpenArmordb.options[selectedIndex].value ; location.reload(true)'>
                                <?php
                                foreach ($glb_OpenArmordb as $name => $file) {
                                    if ($_COOKIE['OpenArmordbjs'] == $name) {
                                        $glb_OpenArmordb_selected = " SELECTED ";
                                    } else {
                                        $glb_OpenArmordb_selected = "";
                                    }
                                    $glb_OpenArmordb_option .= "<option value='" . $name . "' " . $glb_OpenArmordb_selected . " >" . $name . " (" . DB_NAME_O . ", " . DB_HOST_O . ")</option>";
                                }
                                echo $glb_OpenArmordb_option;
                                ?>
                            </select>
                        </form>
                    </ul>
                </li>
                <?php
			}
            ?>
            <li><a href="./index.php?">Home</a></li>
            <li><a href="./management.php">Manage data</a></li>
		<?php
			if ( ! empty($auth) ) 
            { print('<li><a href="./manage_users.php">Manage users</a></li> ?>');
			}
		?>
            <li><a href="./manage_signature.php">Manage Sign/Categ map</a></li>
            <li><a href="./manage_categ_map.php">Test map Sign/Categ.</a></li>
            <li><a href="./manage_categ.php">Manage Categ/Sign map</a></li>
			<li><a href="#" onclick='alert("Warning : This page may take a few time to load depending on database size"); window.location="./reorg.php"'>Database Reorg</a>
            </li>
		<?php
			if ( ! empty($auth) ) 
            { print('<li><a href="./logout.php">Logout</a></li>');
			}
		?>

            
        </ul>
     </div>
    </nav>