We are now using the `chgrp` system command to change the group of a file

[devedit.git] / templates / confirm_unlock.htm

diff --git a/templates/confirm_unlock.htm b/templates/confirm_unlock.htm
index 882fde13257e3eb795dc5a00fd8067fb5453b673..e620f1788de7b104ed97d6124a0016132fde94b6 100644 (file)
--- a/templates/confirm_unlock.htm
+++ b/templates/confirm_unlock.htm
@@ -12,7 +12,7 @@
 
 <p>(equals <a href="{URL}" target="_blank">{URL}</a>)</p>
 
 
 <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>

 
 <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>
 
 
 <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>