Check if the root directory exists

[devedit.git] / modules / Output.pm

diff --git a/modules/Output.pm b/modules/Output.pm
index ba41e38ca338674f102a02ec36a7cd8f4f9c4784..eff7459661f11adb6d0540b8159e063968ad065e 100644 (file)
--- a/modules/Output.pm
+++ b/modules/Output.pm
@@ -6,7 +6,7 @@ package Output;
 # HTML generating routines
 #
 # Author:        Patrick Canterino <patshaping@gmx.net>
 # HTML generating routines
 #
 # Author:        Patrick Canterino <patshaping@gmx.net>

-# Last modified: 2004-02-23
+# Last modified: 2004-03-12

 #
 
 use strict;
 #
 
 use strict;


@@ -25,8 +25,7 @@ use base qw(Exporter);
 
 @EXPORT = qw(error_template
              error
 
 @EXPORT = qw(error_template
              error

-             abort
-             error_in_use);
+             abort);

 
 my $tpl_error;
 
 
 my $tpl_error;
 


@@ -94,22 +93,6 @@ sub abort($;$)
  exit;
 }
 
  exit;
 }
 

-# error_in_use()
-#
-# Create a message, which shows, that a
-# file is currently in use
-#
-# Params: File, which is in use
-#
-# Return: Formatted message (Scalar Reference)
-
-sub error_in_use($)
-{
- my $file = shift;
-
- return error("The file '".encode_entities($file)."' is currently edited by someone else.",upper_path($file));
-}
-

 # it's true, baby ;-)
 
 1;
 # it's true, baby ;-)
 
 1;