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}'";