From 393996f10a813b0c7dc2d8040a19bcf123c8d74f Mon Sep 17 00:00:00 2001
From: Tobias Hunger <tobias.hunger@nokia.com>
Date: Mon, 2 Jul 2012 14:36:39 +0200
Subject: [PATCH] ProfileManager: Do not save settings when they were not yet
 loaded

Change-Id: I56fd9e62496d88d556625b3409ddfbb3adde5499
Reviewed-by: Tobias Hunger <tobias.hunger@nokia.com>
---
 src/plugins/projectexplorer/profilemanager.cpp | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/plugins/projectexplorer/profilemanager.cpp b/src/plugins/projectexplorer/profilemanager.cpp
index af9f4cef72c..a40298cb155 100644
--- a/src/plugins/projectexplorer/profilemanager.cpp
+++ b/src/plugins/projectexplorer/profilemanager.cpp
@@ -225,6 +225,9 @@ ProfileManager::~ProfileManager()
 
 void ProfileManager::saveProfiles()
 {
+    if (!d->m_initialized) // ignore save requests while we are not initialized.
+        return;
+
     PersistentSettingsWriter writer;
     writer.saveValue(QLatin1String(PROFILE_FILE_VERSION_KEY), 1);