function show_header($title, $load_user = 1, $show_cards = false)
{
global $in_maintenance_mode;
global $in_lockdown_mode;
global $has_maintenance_alert;
global $maintenance_alert;
global $user;
if ($load_user) {
global $user;
if (!isset($user)) {
$user = geni_loadUser();
}
check_km_authorization($user);
record_last_seen($user, $_SERVER['REQUEST_URI']);
}
show_html_head($title);
echo '<body>';
echo '<script>';
// For header interactivity
echo '$(document).ready(function(){';
echo '$(".has-sub").hover(function(){ $(this).find(\'ul\').show(); }, function(){ $(this).find(\'ul\').hide(); });';
echo '$("#hamburger").click(function(){';
echo '$("#dashboardtools").slideToggle();';
echo '});';
echo '});';
echo '</script>';
echo '<div id="dashboardheader">';
echo '<img id="globe" src="/images/geni_globe.png" alt="Geni Logo" style="height:45px; margin-left: 20px; float: left;"/>';
echo '<img id="hamburger" src="/images/menu.png" alt="optionsicon" style="height:20px; width: 20px; padding:15px; float: left;"/>';
echo '<h2 class="dashtext" style="float: left; line-height: 50px; text-align: center; margin: 0 20px; display: inline; height: 50px; cursor: pointer;"
onclick="window.location=\'dashboard.php\'">GENI Portal</h2>';
echo '<ul id="dashboardtools" class="floatright" style="vertical-align: top;">';
if ($load_user) {
echo "<li class='has-sub headerlink'>{$user->prettyName()}";
} else {
echo "<li class='has-sub headerlink'>User";
}
echo '<ul class="submenu">';
echo '<li><a href="profile.php">Profile</a></li>';
echo '<li><a href="profile.php#ssh">SSH Keys</a></li>';
echo '<li><a href="profile.php#rspecs">RSpecs</a></li>';
echo '<li><a href="profile.php#tools">Manage Accounts</a></li>';
echo '<li><a href="profile.php#preferences">Preferences</a></li>';
echo '<li><a href="' . relative_url("dologout.php") . '" >Logout</a></li>';
if ($load_user && $user->isAllowed(CS_ACTION::ADMINISTER_MEMBERS, CS_CONTEXT_TYPE::MEMBER, null)) {
echo '<li><a href="admin.php">Admin</a></li>';
}
echo '</ul></li>';
echo '<li class="headerlink has-sub"><a href="help.php">Help</a>';
echo '<ul class="submenu">';
echo '<li><a target="_blank" href="http://groups.geni.net/geni/wiki">GENI Wiki <i class="material-icons">launch</i></a></li>';
echo '<li><a target="_blank" href="http://groups.geni.net/geni/wiki/GENIExperimenter/GetHelp">GENI Help Wiki <i class="material-icons">launch</i></a></li>';
echo '<li><a target="_blank" href="http://gmoc.grnoc.iu.edu/gmoc/index/support/gmoc-operations-calendars.html">Outages <i class="material-icons">launch</i> </a></li>';
echo '<li><a target="_blank" href="http://groups.geni.net/geni/wiki/GENIGlossary">Glossary <i class="material-icons">launch</i></a></li>';
echo '<li><a target="_blank" href="http://groups.geni.net/geni/wiki/GENIBibliography">Bibliography<i class="material-icons">launch</i></a></li>';
echo '<li><a href="contact-us.php">Contact Us</a></li>';
echo '</ul></li>';
if ($load_user) {
if (!isset($jfed_button_start)) {
$jfedret = get_jfed_strs($user);
$jfed_script_text = $jfedret[0];
$jfed_button_start = $jfedret[1];
$jfed_button_part2 = $jfedret[2];
if (!is_null($jfed_button_start)) {
print $jfed_script_text;
}
}
}
echo '<li class="headerlink has-sub">Partners';
echo '<ul class="submenu">';
echo "<li><a href='https://www.cloudlab.us/login.php' target='_blank'>CloudLab <i class='material-icons'>launch</i></a></li>";
echo "<li><a href='http://gee-project.org/user' target='_blank'>GEE <i class='material-icons'>launch</i></a></li>";
echo "<li><a href='wireless_redirect.php?site=ORBIT' target='_blank'>ORBIT<i class='material-icons'>launch</i></a></li>";
echo "<li><a href='http://portal.savitestbed.ca/auth/login' target='_blank'>SAVI<i class='material-icons'>launch</i></a></li>";
echo "<li><a href='wireless_redirect.php?site=WITEST' target='_blank'>WiTest<i class='material-icons'>launch</i></a></li>";
echo '</ul></li>';
echo '<li class="headerlink has-sub">Tools';
echo '<ul class="submenu">';
echo "<li><a href='gemini.php' target='_blank'>GENI Desktop<i class='material-icons'>launch</i></a></li>";
if ($load_user && !is_null($jfed_button_start)) {
echo "<li>";
echo $jfed_button_start . getjFedSliceScript(NULL) . $jfed_button_part2 . ">jFed<i class='material-icons'>launch</i></button>";
echo "</li>";
}
echo "<li><a href='http://labwiki.casa.umass.edu' target='_blank'>LabWiki <i class='material-icons'>launch</i></a></li>";
echo "<li><a href='http://groups.geni.net/geni/wiki/GENIExperimenter/Tools' target='_blank' title='Omni, Geni-lib, VTS...'>Other Tools <i class='material-icons'>launch</i></a></li>";
echo '</ul></li>';
echo '<li class="headerlink has-sub"><a href="dashboard.php">Home</a>';
echo '<ul class="submenu">';
echo '<li><a href="dashboard.php#slices">Slices</a></li>';
echo '<li><a href="dashboard.php#projects">Projects</a></li>';
echo '</ul></li></ul>';
echo '</div>';
$cards_class = $show_cards ? 'content-cards' : 'one-card';
echo '<div style="clear:both; height: 50px;"> </div>';
if ($in_maintenance_mode) {
echo "<center><b>***** Maintenance Outage *****</b></center>";
}
if ($has_maintenance_alert) {
print "<p class='instruction' id='maintenance_alert'>{$maintenance_alert}</p>";
}
echo "<div id='content-outer' class='{$cards_class}'>";
echo "<div id='content'>";
}
$_SESSION['lasterror'] = 'User has no privileges to view slice ' . $slice_name;
relative_redirect('home.php');
}
// determine maximum date of slice renewal
$renewal_days = $portal_max_slice_renewal_days;
$project_expiration = $project[PA_PROJECT_TABLE_FIELDNAME::EXPIRATION];
if ($project_expiration) {
$project_expiration_dt = new DateTime($project_expiration);
$now_dt = new DateTime();
$difference = $project_expiration_dt->diff($now_dt);
$renewal_days = $difference->days;
// take the minimum of the two as the constraint
$renewal_days = min($renewal_days, $portal_max_slice_renewal_days);
}
// Code to set up jfed button
$jfedret = get_jfed_strs($user);
$jfed_script_text = $jfedret[0];
$jfed_button_start = $jfedret[1];
$jfed_button_part2 = $jfedret[2];
show_header('GENI Portal: Slices', true, true);
// include("tool-breadcrumbs.php");
include "tool-showmessage.php";
?>
<script type="text/javascript">
$(document).ready(function(){
old_callback = get_callback;
get_callback = function(tab_name){
if(tab_name == "#geo_view_div") {
return function(){ map_init( <?php
echo "'slice-map-data.php?slice_id={$slice_id}'";
