]> git.p6c8.net - devedit.git/blob - templates/confirm_unlock.htm
f75f359cf956796c11b9bf4c9102d3b00497e411
[devedit.git] / templates / confirm_unlock.htm
1 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN"
2 "http://www.w3.org/TR/html4/loose.dtd">
3
4 <html>
5 <head>
6 <title>Unlock file {FILE}</title>
7 <meta http-equiv="content-type" content="text/html; charset=iso-8859-1">
8 </head>
9 <body bgcolor="#FFFFFF" text="#000000" link="#0000FF" vlink="#800080" alink="#FF0000">
10
11 <h1>Unlock file {FILE}</h1>
12
13 <p>(equals <a href="{URL}" target="_blank">{URL}</a>)</p>
14
15 <p><a href="{SCRIPT}?command=show&amp;file={DIR}">Back to {DIR}</a></p>
16
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>
18
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">
23
24 <p><input type="submit" value="Unlock file '{FILE}'"></p>
25 </form>
26
27 <hr>
28
29 <p align="right"><a href="{SCRIPT}?command=about" target="_blank"><i>About Dev-Editor</i></a></p>
30 </body>
31 </html>

patrick-canterino.de