stack-cvs

[Chris S. <san...@us...>]

Update of /cvsroot/stack/stack-1-0/html
In directory sc8-pr-cvs1.sourceforge.net:/tmp/cvs-serv2925/html

Modified Files:
	pagehead.php 
Log Message:


Index: pagehead.php
===================================================================
RCS file: /cvsroot/stack/stack-1-0/html/pagehead.php,v
retrieving revision 1.13
retrieving revision 1.14
diff -C2 -d -r1.13 -r1.14
*** pagehead.php	4 Sep 2005 19:24:57 -0000	1.13
--- pagehead.php	11 Oct 2005 09:57:44 -0000	1.14
***************
*** 33,39 ****
                  echo '<br /><font size=-3>';
                  if (isset($user['loggedin']) && ($user['loggedin'])) {
!                 echo "<p>Logged in as<br />{$user['username']}.</p>";
              } else {
!                 echo "<p>Not logged in.</p>";
              }
                  echo "</font>\n";
--- 33,40 ----
                  echo '<br /><font size=-3>';
                  if (isset($user['loggedin']) && ($user['loggedin'])) {
!                 $a = $user['username'];
!                 echo '<p>'.get_string('FE_pagehead_loggedin','stack',$a).'</p>';
              } else {
!                 echo '<p>'.get_string('FE_pagehead_notloggedin','stack','').'</p>';
              }
                  echo "</font>\n";
***************
*** 54,68 ****
          {
              if ('admin' == $username) {
!     
!             $menu  = new ListMenu('/'.$stack_basepath.'/',"html/admin-menu.txt");
!     
              } else if ($user['loggedin']) {
!     
!             $menu  = new ListMenu('/'.$stack_basepath.'/',"html/student-menu.txt");
!     
              } else {
!     
!             $menu  = new ListMenu('/'.$stack_basepath.'/',"html/index-menu.txt");
!     
              }
          }
--- 55,63 ----
          {
              if ('admin' == $username) {
!                 $menu  = new ListMenu('/'.$stack_basepath.'/',"html/admin-menu.txt");
              } else if ($user['loggedin']) {
!                 $menu  = new ListMenu('/'.$stack_basepath.'/',"html/student-menu.txt");
              } else {
!                 $menu  = new ListMenu('/'.$stack_basepath.'/',"html/index-menu.txt");
              }
          }