Fixed some minor issues.

MyProfile · Oct 10, 2012 · 57a5bb5 · 57a5bb5
1 parent b211e0d
commit 57a5bb5
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/account.php b/account.php
@@ -41,10 +41,10 @@
 
         // display confirmation
         if ($ok_del) {
-            $ret .= $_SESSION['myprofile']->success('Your profile has been deleted.');
+            $ret .= success('Your profile has been deleted.');
             $ret .= "<div><br/>Attention: do not forget to delete the corresponding certificate from your browser, since it is useless now.</div>\n";
         } else {
-            $ret .= $_SESSION['myprofile']->error('Could not remove your profile!');
+            $ret .= error('Could not remove your profile!');
         }
 
         // log user out and clear WebID session	

diff --git a/header.php b/header.php
@@ -159,7 +159,7 @@
         echo "</ul>";
         echo "</li>\n";
         echo "<li class=\"divider\"></li>\n";
-        echo "<li><a href=\"".BASE_URI."?logoff\"  onclick=\"logout();\">Log out?</a>";
+        echo "<li><a href=\"".BASE_URI."?logoff\"  onclick=\"logout();\">";
         echo "<img title=\"Sign out\" alt=\"Sign out\" src=\"".BASE_URI."/img/signout.png\"></a>";
         echo "</li>\n";
     } else {