summaryrefslogtreecommitdiff
path: root/includes
diff options
context:
space:
mode:
authorBenny Baumann <BenBE@geshi.org>2014-04-30 18:30:20 +0200
committerBenny Baumann <BenBE@geshi.org>2014-04-30 20:18:56 +0200
commit346899e832bd91f16733e197f592e7dae0173f70 (patch)
treeb106ac272adc4bb0740fdbb0ab33e684e4eea1fd /includes
parent7f02d479140d2c47e9359191ed2a7d687c6b9a33 (diff)
downloadcacert-devel-346899e832bd91f16733e197f592e7dae0173f70.tar.gz
cacert-devel-346899e832bd91f16733e197f592e7dae0173f70.tar.xz
cacert-devel-346899e832bd91f16733e197f592e7dae0173f70.zip
bug 1138: Whitespace changes and code formatting
Diffstat (limited to 'includes')
-rw-r--r--includes/general.php2
-rw-r--r--includes/lib/account.php2
-rw-r--r--includes/loggedin.php24
3 files changed, 14 insertions, 14 deletions
diff --git a/includes/general.php b/includes/general.php
index fcd094a..9eb5060 100644
--- a/includes/general.php
+++ b/includes/general.php
@@ -77,7 +77,7 @@
L10n::detect_language();
L10n::init_gettext();
- if(array_key_exists('profile',$_SESSION) && is_array($_SESSION['profile']) && array_key_exists('id',$_SESSION['profile']) && $_SESSION['profile']['id'] > 0)
+ if(array_key_exists('profile',$_SESSION) && is_array($_SESSION['profile']) && array_key_exists('id',$_SESSION['profile']) && $_SESSION['profile']['id'] > 0)
{
$locked = mysql_fetch_assoc(mysql_query("select `locked` from `users` where `id`='".intval($_SESSION['profile']['id'])."'"));
if($locked['locked'] == 0)
diff --git a/includes/lib/account.php b/includes/lib/account.php
index 8590213..4c4d5ac 100644
--- a/includes/lib/account.php
+++ b/includes/lib/account.php
@@ -97,4 +97,4 @@ function fix_assurer_flag($userID = NULL)
}
return true;
-} \ No newline at end of file
+}
diff --git a/includes/loggedin.php b/includes/loggedin.php
index 33e834b..70c9674 100644
--- a/includes/loggedin.php
+++ b/includes/loggedin.php
@@ -38,9 +38,9 @@
if($key == '_config' || $key == 'mconn' || 'csrf_' == substr($key, 0, 5))
continue;
if(is_int($key) || is_string($key))
- unset($_SESSION[$key]);
- unset($$key);
- //session_unregister($key);
+ unset($_SESSION[$key]);
+ unset($$key);
+ //session_unregister($key);
}
$_SESSION['profile'] = mysql_fetch_assoc(mysql_query("select * from `users` where `id`='".intval($uid)."'"));
@@ -64,9 +64,9 @@
if($key == '_config' || $key == 'mconn' || 'csrf_' == substr($key, 0, 5))
continue;
if(is_int($key) || is_string($key))
- unset($_SESSION[$key]);
- unset($$key);
- //session_unregister($key);
+ unset($_SESSION[$key]);
+ unset($$key);
+ //session_unregister($key);
}
$_SESSION['profile'] = mysql_fetch_assoc(mysql_query(
@@ -82,9 +82,9 @@
{
if($key == '_config' || $key == 'mconn' || 'csrf_' == substr($key, 0, 5))
continue;
- unset($_SESSION[$key]);
- unset($$key);
- //session_unregister($key);
+ unset($_SESSION[$key]);
+ unset($$key);
+ //session_unregister($key);
}
$_SESSION['_config']['oldlocation'] = '';
@@ -136,9 +136,9 @@
$_SESSION['profile'] = "";
foreach($_SESSION as $key => $value)
{
- unset($_SESSION[$key]);
- unset($$key);
- //session_unregister($key);
+ unset($_SESSION[$key]);
+ unset($$key);
+ //session_unregister($key);
}
header("location: https://".$normalhost."/index.php");