version 1.69, 2004/12/07 22:32:47
|
version 1.71, 2004/12/07 22:40:09
|
Line 298 parent.lastknownpriv='/~$uname$thisdisfn
|
Line 298 parent.lastknownpriv='/~$uname$thisdisfn
|
if (activity == 'delete') { |
if (activity == 'delete') { |
var delform = document.delresource |
var delform = document.delresource |
delform.filename.value = theform.filename.value |
delform.filename.value = theform.filename.value |
if (confirm("Are you sure you want to delete "+theform.filename.value+"?")) { |
delform.submit() |
delform.submit() |
|
} |
|
} |
} |
if (activity == 'obsolete') { |
if (activity == 'obsolete') { |
var pubform = document.pubresource |
var pubform = document.pubresource |
Line 380 sub dircontrols {
|
Line 378 sub dircontrols {
|
<nobr> |
<nobr> |
<input type="hidden" name="filename" value="/~$uname$thisdisfn/" /> |
<input type="hidden" name="filename" value="/~$uname$thisdisfn/" /> |
<select name="action"> |
<select name="action"> |
<option value="Select Action">Select action</option> |
<option>Select Action</option> |
<option value="newfile">New file:</option> |
<option value="newfile">New file:</option> |
<option value="newhtmlfile">New HTML file:</option> |
<option value="newhtmlfile">New HTML file:</option> |
<option value="newproblemfile">New problem:</option> |
<option value="newproblemfile">New problem:</option> |