commit 6f62f0052b7250be58057b568948abcaee7e355f
author GianMaria Romanato <gm.romanato@gmail.com> Wed Apr 19 10:24:45 2017 +0200
committer GianMaria Romanato <gm.romanato@gmail.com> Wed Apr 19 10:24:45 2017 +0200
tree 273d06bfe59fb6fea03bb6938de23f524b42fa43
parent 69f76b7d866f4c2e1d3820eafc083ca8fd841706

510327: Virgo server reports os.name=win32 on Windows 10 

Tentatively change from win32 to "Windows 8"

org.eclipse.virgo.ide.runtime.core/src/org/eclipse/virgo/ide/runtime/internal/core/runtimes/Virgo35Provider.java

diff --git a/org.eclipse.virgo.ide.runtime.core/src/org/eclipse/virgo/ide/runtime/internal/core/runtimes/Virgo35Provider.java b/org.eclipse.virgo.ide.runtime.core/src/org/eclipse/virgo/ide/runtime/internal/core/runtimes/Virgo35Provider.java
index 71c11fa..629b3c2 100644
--- a/org.eclipse.virgo.ide.runtime.core/src/org/eclipse/virgo/ide/runtime/internal/core/runtimes/Virgo35Provider.java
+++ b/org.eclipse.virgo.ide.runtime.core/src/org/eclipse/virgo/ide/runtime/internal/core/runtimes/Virgo35Provider.java
@@ -137,7 +137,7 @@
         if (isWindows10()) {
             // Work around for Equinox 3.9 not recognizing Windows 10 as win32, which results in failure of resolution
             // of native libraries see https://bugs.eclipse.org/bugs/show_bug.cgi?id=486353
-            list.add("-Dos.name=win32");
+            list.add("-Dos.name=\"Windows 8\"");
         }
 
         String fwClassPath = createFWClassPath(serverHome);