diff options
Diffstat (limited to 'src/jogl/classes/javax/media/opengl/GLProfile.java')
-rw-r--r-- | src/jogl/classes/javax/media/opengl/GLProfile.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/jogl/classes/javax/media/opengl/GLProfile.java b/src/jogl/classes/javax/media/opengl/GLProfile.java index 4111eb5a2..878c4024e 100644 --- a/src/jogl/classes/javax/media/opengl/GLProfile.java +++ b/src/jogl/classes/javax/media/opengl/GLProfile.java @@ -1476,7 +1476,7 @@ public class GLProfile { if(null==device) { device = defaultDevice; } - String deviceKey = GLContext.getUniqueDeviceString(device); + String deviceKey = device.getUniqueID(); HashMap map = (HashMap) deviceConn2ProfileMap.get(deviceKey); if(null==map) { map = new HashMap(); @@ -1491,7 +1491,7 @@ public class GLProfile { private static void setProfileMap(AbstractGraphicsDevice device, HashMap/*<GL-String, GLProfile>*/mappedProfiles) { validateInitialization(); synchronized ( deviceConn2ProfileMap ) { - deviceConn2ProfileMap.put(GLContext.getUniqueDeviceString(device), mappedProfiles); + deviceConn2ProfileMap.put(device.getUniqueID(), mappedProfiles); } } |