exec_unlock() now checks if the file is really in use. Otherwise, we return to

[devedit.git] / templates / viewfile.htm

diff --git a/templates/viewfile.htm b/templates/viewfile.htm
index fdc96b8144ee7d7ce084f2f0b3c8b72b9970dd37..30db60410f0f98f6507c027d0162c062009a70ba 100644 (file)
--- a/templates/viewfile.htm
+++ b/templates/viewfile.htm
@@ -12,7 +12,7 @@
 
 <p>(equals <a href="{URL}" target="_blank">{URL}</a>)</p>
 
-<p><a href="{SCRIPT}?command=show&file={DIR}">Back to {DIR}</a></p>
+<p><a href="{SCRIPT}?command=show&amp;file={DIR}">Back to {DIR}</a></p>
 
 <div style="background-color:#FFFFE0;border:1px solid black;margin-top:10px;width:100%">
 <pre style="color:#0000C0;">
@@ -20,7 +20,7 @@
 </pre>
 </div>
 
-<br>
+{IF editable}<p><a href="{SCRIPT}?command=beginedit&amp;file={FILE}">Edit this file</a></p>{ELSE}<br>{ENDIF}
 
 <hr>