tyler.durden/pandorafms
1
0
Fork 0
mirror of https://github.com/pandorafms/pandorafms.git synced 2025-07-29 08:45:12 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge branch 'ent-3774-Autorefresh_no_se_deshabilita' into 'develop'

Browse Source 
fixed minor error header disabled

See merge request artica/pandorafms!2297

Former-commit-id: ffc6904ecfa47e41ea87b867f8650c237ee1877a
This commit is contained in:
Daniel Rodriguez 2019-03-26 18:49:27 +01:00
commit b7267dfafa
2 changed files with 10 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pandora_console/general/header.php
View File

@ -19,10 +19,11 @@ require_once 'include/functions_notifications.php';
config_check(); config_check();
if ($_SESSION['menu_type']=='classic') if ($_SESSION['menu_type'] == 'classic') {
echo '<div id="header_table" class="header_table_classic">'; echo '<div id="header_table" class="header_table_classic">';
else } else {
echo '<div id="header_table" class="header_table_collapsed">'; echo '<div id="header_table" class="header_table_collapsed">';
}
?> ?>
<div id="header_table_inner"> <div id="header_table_inner">
<?php <?php
@ -178,7 +179,8 @@ else
); );
if ((isset($select[0]['time_autorefresh']) === true) if ((isset($select[0]['time_autorefresh']) === true)
&& $select[0]['time_autorefresh'] !== 0 && !$config['refr'] && $select[0]['time_autorefresh'] !== 0
&& $config['refr'] === null
) { ) {
$config['refr'] = $select[0]['time_autorefresh']; $config['refr'] = $select[0]['time_autorefresh'];
$autorefresh_txt .= ' (<span id="refrcounter">'; $autorefresh_txt .= ' (<span id="refrcounter">';

9
pandora_console/index.php
View File

@ -173,8 +173,8 @@ if (!empty($config['https']) && empty($_SERVER['HTTPS'])) {
// Pure mode (without menu, header and footer). // Pure mode (without menu, header and footer).
$config['pure'] = (bool) get_parameter('pure'); $config['pure'] = (bool) get_parameter('pure');
// Auto Refresh page (can now be disabled anywhere in the script) // Auto Refresh page (can now be disabled anywhere in the script).
if (get_parameter('refr')) { if (get_parameter('refr') != null) {
$config['refr'] = (int) get_parameter('refr'); $config['refr'] = (int) get_parameter('refr');
} }
@ -1031,10 +1031,11 @@ if ($config['pure'] == 0) {
echo '<div id="container"><div id="head">'; echo '<div id="container"><div id="head">';
include 'general/header.php'; include 'general/header.php';
if ($_SESSION['menu_type']=='classic') if ($_SESSION['menu_type'] == 'classic') {
echo '</div><div id="page" class="page_classic"><div id="menu">'; echo '</div><div id="page" class="page_classic"><div id="menu">';
else } else {
echo '</div><div id="page" class="page_collapsed"><div id="menu">'; echo '</div><div id="page" class="page_collapsed"><div id="menu">';
}
include 'general/main_menu.php'; include 'general/main_menu.php';
echo '</div>'; echo '</div>';