From 188d419208dad8da735320b526a6aea3d5ef85e2 Mon Sep 17 00:00:00 2001
From: Doug Schaefer <doug.schaefer@windriver.com>
Date: Thu, 15 Nov 2007 17:28:55 +0000
Subject: [PATCH] Fix for bug 209614 - a cleaner fix that uses the default
 delimiter from the environment variable manager.

---
 .../org/eclipse/cdt/core/envvar/EnvirinmentVariable.java | 9 ++++-----
 1 file changed, 4 insertions(+), 5 deletions(-)

diff --git a/core/org.eclipse.cdt.core/src/org/eclipse/cdt/core/envvar/EnvirinmentVariable.java b/core/org.eclipse.cdt.core/src/org/eclipse/cdt/core/envvar/EnvirinmentVariable.java
index f7affc9d508..6fc2e98668a 100644
--- a/core/org.eclipse.cdt.core/src/org/eclipse/cdt/core/envvar/EnvirinmentVariable.java
+++ b/core/org.eclipse.cdt.core/src/org/eclipse/cdt/core/envvar/EnvirinmentVariable.java
@@ -10,6 +10,7 @@
  *******************************************************************************/
 package org.eclipse.cdt.core.envvar;
 
+import org.eclipse.cdt.internal.core.envvar.EnvironmentVariableManager;
 import org.eclipse.core.runtime.Platform;
 
 
@@ -65,12 +66,10 @@ public class EnvirinmentVariable implements IEnvironmentVariable, Cloneable {
 	}
 
 	public String getDelimiter(){
-		if (fDelimiter != null)
-			return fDelimiter;
-		else if (Platform.getOS() == Platform.OS_WIN32)
-			return ";";
+		if (fDelimiter == null)
+			return EnvironmentVariableManager.getDefault().getDefaultDelimiter();
 		else
-			return ":";
+			return fDelimiter;
 	}
 	
 	public Object clone(){