Allow to execute a HTTP download of a file

[devedit.git] / devedit.pl

diff --git a/devedit.pl b/devedit.pl
index 909550b8767f34036bab6c1399f5bae9351fbb62..87afee436416af3105f43bf3cbb3c3dda7edf663 100644 (file)
--- a/devedit.pl
+++ b/devedit.pl
@@ -1,12 +1,20 @@
 #!C:/Programme/Perl/bin/perl.exe -w
 
 #
 #!C:/Programme/Perl/bin/perl.exe -w
 
 #

-# Dev-Editor 3.0
+# Dev-Editor 3.1

 #
 # Dev-Editor's main program
 #
 # Author:        Patrick Canterino <patrick@patshaping.de>
 #
 # Dev-Editor's main program
 #
 # Author:        Patrick Canterino <patrick@patshaping.de>

-# Last modified: 2005-06-14
+# 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 strict;


@@ -22,7 +30,7 @@ use Command;
 use Output;
 use Tool;
 
 use Output;
 use Tool;
 

-$VERSION = '3.0';
+$VERSION = '3.1';

 
 # Path to configuration file
 # Change if necessary!
 
 # Path to configuration file
 # Change if necessary!


@@ -58,7 +66,6 @@ my $new_virtual  = '';
 
 if($newfile ne '' && $newfile !~ /^\s+$/)
 {
 
 if($newfile ne '' && $newfile !~ /^\s+$/)
 {

- $curdir  = upper_path($file) if($curdir eq '');

  my $path = $curdir.'/'.$newfile;
 
  # Extract file and directory name...
  my $path = $curdir.'/'.$newfile;
 
  # Extract file and directory name...