When removing multiple files, just redirect if all files have been removed

[devedit.git] / devedit.pl

diff --git a/devedit.pl b/devedit.pl
index 7ad34c0f3bf01f01ee51c7755e702190ce535ff8..f7b28180a5b3b3af757e848a57bba71a834a42e7 100644 (file)
--- a/devedit.pl
+++ b/devedit.pl
@@ -8,6 +8,14 @@
 # Author:        Patrick Canterino <patrick@patshaping.de>
 # Last modified: 2006-08-24
 #
 # Author:        Patrick Canterino <patrick@patshaping.de>
 # Last modified: 2006-08-24
 #

+# Copyright (C) 1999-2000 Roland Bluethgen, Frank Schoenmann
+# Copyright (C) 2003-2009 Patrick Canterino
+# All Rights Reserved.
+#
+# This file can be distributed and/or modified under the terms of
+# of the Artistic License 1.0 (see also the LICENSE file found at
+# the top level of the Dev-Editor distribution).
+#

 
 use strict;
 use CGI::Carp qw(fatalsToBrowser);
 
 use strict;
 use CGI::Carp qw(fatalsToBrowser);