version 1.47, 2002/04/04 17:35:57
|
version 1.52, 2002/05/15 20:44:24
|
Line 44 Jan Guy Albertelli
|
Line 44 Jan Guy Albertelli
|
YEAR=2002 |
YEAR=2002 |
March 2002 Matthew Hall |
March 2002 Matthew Hall |
3/19 Gerd Kortemeyer |
3/19 Gerd Kortemeyer |
|
5/6/02 Matthew Hall |
|
|
|
// Note: use of style="background-image: url(remotebg.gif)" |
|
// in body tag causes trouble for NS4.x on multiple platforms. |
|
|
--> |
--> |
<head> |
<head> |
<title>LON-CAPA Remote</title> |
<title>LON-CAPA Remote</title> |
Line 52 March 2002 Matthew Hall
|
Line 57 March 2002 Matthew Hall
|
|
|
<body bgcolor="#BBBBBB" |
<body bgcolor="#BBBBBB" |
background="remotebg.gif" |
background="remotebg.gif" |
onUnload="logout();"> |
onUnload="logout();" |
|
> |
|
<style type="text/css"> |
|
</style> |
<basefont size="1" /> |
<basefont size="1" /> |
|
|
<script type="text/javascript"> |
<script type="text/javascript"> |
Line 90 var dt = new Array;
|
Line 98 var dt = new Array;
|
for (var i=1;i<=3;i++) { |
for (var i=1;i<=3;i++) { |
for (var j=1;j<=10;j++) { |
for (var j=1;j<=10;j++) { |
var index = 10*j+i; |
var index = 10*j+i; |
hr[index]=null; |
hr[index]=''; |
db[index]=null; |
db[index]=''; |
dt[index]=null; |
dt[index]=''; |
} |
} |
} |
} |
|
|
Line 143 function display(utext,ltext) {
|
Line 151 function display(utext,ltext) {
|
this.window.focus(); |
this.window.focus(); |
if (utext == null) { utext = '';} |
if (utext == null) { utext = '';} |
if (ltext == null) { ltext = '';} |
if (ltext == null) { ltext = '';} |
if (typeof(utext)=="undefined") { utext=''; } |
if (typeof(utext)!="string") { utext=''; } |
if (typeof(ltext)=="undefined") { ltext=''; } |
if (typeof(ltext)!="string") { ltext=''; } |
if ((utext=='') && (ltext=='')) { |
if ((utext=='') && (ltext=='')) { |
utext=statustop; |
utext=statustop; |
ltext=statusbot; |
ltext=statusbot; |
Line 198 function setstatus(tp,bt) {
|
Line 206 function setstatus(tp,bt) {
|
endsend(); |
endsend(); |
} |
} |
|
|
|
function is_editable_resource (url) { |
|
var Chunks = url.split('.'); |
|
var tmp = Chunks[Chunks.length-1]; |
|
if ((Chunks.length > 1) && (Math.floor(tmp) == tmp)) { |
|
return true; |
|
} |
|
return false; |
|
} |
|
|
function cstrgo(currenturl,defaulturl) { |
function cstrgo(currenturl,defaulturl) { |
windowcheck(); |
windowcheck(); |
var url; |
var url; |
if (currenturl != null && currenturl != '') { |
if ((currenturl == null) || |
|
(currenturl == '') || |
|
(! is_editable_resource(currenturl))) { |
|
url = defaulturl; |
|
} else { |
url = currenturl; |
url = currenturl; |
var priv_pattern = /^\/priv/; |
var res_pattern = /^\/res\/[A-z0-p]+\//; |
var tilda_pattern = /^\/~/; |
if (res_pattern.test(url)) { |
if (priv_pattern.test(url) || tilda_pattern.test(url)) { |
// map /res/103/turtle to /priv/turtle |
url = defaulturl; |
|
} else { |
|
// map /res/103/turtle -> /priv/turtle |
|
url = url.replace(/^\/res\/[A-z0-9]+\//,'/priv/'); |
url = url.replace(/^\/res\/[A-z0-9]+\//,'/priv/'); |
|
} else { |
|
url = defaulturl; |
} |
} |
} else { |
|
url = defaulturl; |
|
} |
} |
this.document['led'].src="ledsend.gif"; |
this.document['led'].src="ledsend.gif"; |
if (url != '') { |
if (url != '') { |