branch | RCL_3 |
changeset 15 | 0cbaad18b0bd |
parent 1 | 882d065be445 |
child 25 | a8ece8c8fac1 |
--- a/dtdinstaller/bin/dtd_installer.pl Fri Feb 19 22:43:13 2010 +0200 +++ b/dtdinstaller/bin/dtd_installer.pl Fri Mar 12 15:42:04 2010 +0200 @@ -326,7 +326,7 @@ if ((lc $2) eq "sources") { $out_file = "${out_path}\\$3"; } else { - if (length($temp) > 4) { #skip extra files + if (length($temp) > 5) { #skip extra files next; } while (length($temp) < 4){ $temp = "0".$temp; }