version 1.68, 2002/09/06 15:18:23
|
version 1.69, 2002/09/06 17:05:27
|
Line 235 function setstatus(tp,bt) {
|
Line 235 function setstatus(tp,bt) {
|
} |
} |
|
|
function is_editable_resource (url) { |
function is_editable_resource (url) { |
|
// figure out if this a specific resource version |
var Chunks = url.split('.'); |
var Chunks = url.split('.'); |
var tmp = Chunks[Chunks.length-1]; |
var tmp = Chunks[Chunks.length-1]; |
if ((Chunks.length > 1) && (Math.floor(tmp) == tmp)) { |
if ((Chunks.length > 1) && (Math.floor(tmp) == tmp)) { |
return true; |
return false; |
} |
} |
return false; |
// see if this is actually in resource space |
|
var SlashChunks=url.split('/'); |
|
if (SlashChunks[1]!='res') { return false; } |
|
return true; |
} |
} |
|
|
function cstrgo(currenturl,defaulturl) { |
function cstrgo(currenturl,defaulturl) { |
Line 251 function cstrgo(currenturl,defaulturl) {
|
Line 255 function cstrgo(currenturl,defaulturl) {
|
(! is_editable_resource(currenturl))) { |
(! is_editable_resource(currenturl))) { |
url = defaulturl; |
url = defaulturl; |
} else { |
} else { |
url = currenturl; |
var SlashChunks=currenturl.split('/'); |
var res_pattern = /^\/res\/[A-z0-p]+\//; |
SlashChunks[1]='priv'; |
if (res_pattern.test(url)) { |
var i; |
// map /res/103/turtle to /priv/turtle |
for (i=2;i<SlashChunks.length;i++) { |
url = url.replace(/^\/res\/[A-z0-9]+\//,'/priv/'); |
SlashChunks[i]=SlashChunks[i+1]; |
} else { |
|
url = defaulturl; |
|
} |
} |
|
SlashChunks.length--; |
|
url=SlashChunks.join('/'); |
} |
} |
this.document['led'].src="ledsend.gif"; |
this.document['led'].src="ledsend.gif"; |
if (url != '') { |
if (url != '') { |