version 1.30, 2002/05/06 21:55:25
|
version 1.31, 2002/05/29 14:51:42
|
Line 103 sub success {
|
Line 103 sub success {
|
if (($httpbrowser=~/mac/i) || |
if (($httpbrowser=~/mac/i) || |
($httpbrowser=~/powerpc/i)) { $clientos='mac'; } |
($httpbrowser=~/powerpc/i)) { $clientos='mac'; } |
if ($httpbrowser=~/win/i) { $clientos='win'; } |
if ($httpbrowser=~/win/i) { $clientos='win'; } |
|
if ($httpbrowser=~/embed/i) { $clientos='pda'; } |
|
|
# ------------------------------------------------------------- Get environment |
# ------------------------------------------------------------- Get environment |
|
|
Line 162 sub success {
|
Line 163 sub success {
|
|
|
$cookie="lonID=$cookie; path=/"; |
$cookie="lonID=$cookie; path=/"; |
# -------------------------------------------------------- Menu script and info |
# -------------------------------------------------------- Menu script and info |
my $windowinfo=&Apache::lonmenu::open(); |
my $windowinfo=&Apache::lonmenu::open($clientos); |
# ------------------------------------------------------------- Info for Remote |
# ------------------------------------------------------------- Info for Remote |
my $configmenu=&Apache::lonmenu::rawconfig($r); |
my $configmenu=&Apache::lonmenu::rawconfig($r); |
# ------------------------------------------------- Output for successful login |
# ------------------------------------------------- Output for successful login |