- return error("The file '".encode_entities($file)."' is currently editet by someone else.",upper_path($file));
-}
-
-# equal_url()
-#
-# Create an "equals"-link and print it out
-#
-# Params: 1. HTTP root
-# 2. Relative path
-#
-# Return: Formatted link (String)
-
-sub equal_url($$)
-{
- my ($root,$path) = @_;
- my $url;
-
- $root =~ s!/$!!;
- $path =~ s!^/!!;
- $url = $root."/".$path;
- $url = encode_entities($url);
-
- return "<p>(equals <a href=\"$url\" target=\"_blank\">$url</a>)</p>\n\n";
-}
-
-# dir_link()
-#
-# Create the link to the directory of a file and
-# print it out
-#
-# Params: File
-#
-# Return: Formatted link (String)
-
-sub dir_link($)
-{
- my $dir = upper_path(shift);
- $dir = encode_entities($dir);
-
- return "<p><a href=\"$ENV{'SCRIPT_NAME'}?command=show&file=$dir\">Back to $dir</a></p>\n\n";