private static void setProfileName()
{
// if the profile has not been specified in the
// command line, use the one from GlobalPreferences
if (string.IsNullOrEmpty(_profile))
{
ProfileManager.CurrentProfile = CoreGlobals.AppGlobalPreferences.CurrentProfile.Trim();
if (String.IsNullOrEmpty(ProfileManager.CurrentProfile))
{
ProfileManager.CurrentProfile = ProfileManager.DefaultProfileName;
}
}
else
{
ProfileManager.CurrentProfile = _profile;
}
}