1 <!DOCTYPE HTML PUBLIC
"-//W3C//DTD HTML 4.01 Transitional//EN"
2 "http://www.w3.org/TR/html4/loose.dtd">
6 <title>Unlock file {FILE}
</title>
7 <meta http-equiv=
"content-type" content=
"text/html; charset=iso-8859-1">
9 <body bgcolor=
"#FFFFFF" text=
"#000000" link=
"#0000FF" vlink=
"#800080" alink=
"#FF0000">
11 <h1>Unlock file {FILE}
</h1>
13 <p>(equals
<a href=
"{URL}" target=
"_blank">{URL}
</a>)
</p>
15 <p><a href=
"{SCRIPT}?command=show&file={DIR}">Back to {DIR}
</a></p>
17 <p>Someone else is currently editing this file. At least, the file is marked so. Maybe, someone who was editing the file has forgotten to unlock it. In this case (and
<b>only
</b> in this case) you can unlock the file using this button:
</p>
19 <form action=
"{SCRIPT}" method=
"get">
20 <input type=
"hidden" name=
"file" value=
"{FILE}">
21 <input type=
"hidden" name=
"command" value=
"unlock">
22 <input type=
"hidden" name=
"confirmed" value=
"1">
24 <p><input type=
"submit" value=
"Unlock file '{FILE}'"></p>