mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-07-28 03:15:33 +02:00
[142712] fix for local filter polls with non-default profile
This commit is contained in:
parent
c3584207d9
commit
8c22f3c8d0
1 changed files with 15 additions and 0 deletions
|
@ -130,6 +130,21 @@ public class LocalFileSubSystemConfiguration extends FileServiceSubSystemConfigu
|
||||||
filterName = SystemFileResources.RESID_FILTER_ROOTFILES;
|
filterName = SystemFileResources.RESID_FILTER_ROOTFILES;
|
||||||
mgr.createSystemFilter(pool, filterName, filterStrings);
|
mgr.createSystemFilter(pool, filterName, filterStrings);
|
||||||
}
|
}
|
||||||
|
else
|
||||||
|
{
|
||||||
|
Vector filterStrings = new Vector();
|
||||||
|
RemoteFileFilterString defaultFilterString = new RemoteFileFilterString(this);
|
||||||
|
if (!_isWindows)
|
||||||
|
defaultFilterString.setPath(getSeparator());
|
||||||
|
filterStrings.add(defaultFilterString.toString());
|
||||||
|
//System.out.println("creating filter...");
|
||||||
|
String filterName = null;
|
||||||
|
if (_isWindows)
|
||||||
|
filterName = SystemFileResources.RESID_FILTER_DRIVES;
|
||||||
|
else
|
||||||
|
filterName = SystemFileResources.RESID_FILTER_ROOTFILES;
|
||||||
|
mgr.createSystemFilter(pool, filterName, filterStrings);
|
||||||
|
}
|
||||||
} catch (Exception exc)
|
} catch (Exception exc)
|
||||||
{
|
{
|
||||||
SystemBasePlugin.logError("Error creating default filter pool",exc); //$NON-NLS-1$
|
SystemBasePlugin.logError("Error creating default filter pool",exc); //$NON-NLS-1$
|
||||||
|
|
Loading…
Add table
Reference in a new issue