1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-07-03 15:15:25 +02:00

[198046] fix cannot copy a folder into an archive file (fix a typo)

This commit is contained in:
Xuan Chen 2007-08-09 21:22:34 +00:00
parent fb44e49dfb
commit bad965f8f5

View file

@ -302,7 +302,7 @@ public class UniversalFileSystemMiner extends Miner {
if (nonDirectoryArrayList.size() > 0)
{
File[] resultFiles = (File[])nonDirectoryArrayList.toArray(new File[nonDirectoryArrayList.size()]);
String[] resultNames = (String[])nonDirectoryArrayList.toArray(new String[nonDirectoryNamesArrayList.size()]);
String[] resultNames = (String[])nonDirectoryNamesArrayList.toArray(new String[nonDirectoryNamesArrayList.size()]);
//we need to add those files into the archive file as well.
result = handler.add(resultFiles, virtualContainer, resultNames);
}