diff options
author | Sven Gothel <[email protected]> | 2011-09-15 15:07:39 +0200 |
---|---|---|
committer | Sven Gothel <[email protected]> | 2011-09-15 15:07:39 +0200 |
commit | 54b92eb3240d3d6e4686faf48504e1ecfb385869 (patch) | |
tree | 780a38150afd1885199f66a8e1558e509fba0477 /src/jogl/classes/jogamp/graph/font/JavaFontLoader.java | |
parent | d341b3160c4af3bc1efb91c995abb44368f628a5 (diff) |
Graph Fonts: Decorate w/ PrivilegedAction if required
Diffstat (limited to 'src/jogl/classes/jogamp/graph/font/JavaFontLoader.java')
-rw-r--r-- | src/jogl/classes/jogamp/graph/font/JavaFontLoader.java | 20 |
1 files changed, 18 insertions, 2 deletions
diff --git a/src/jogl/classes/jogamp/graph/font/JavaFontLoader.java b/src/jogl/classes/jogamp/graph/font/JavaFontLoader.java index bead9a5d2..6b8260668 100644 --- a/src/jogl/classes/jogamp/graph/font/JavaFontLoader.java +++ b/src/jogl/classes/jogamp/graph/font/JavaFontLoader.java @@ -29,6 +29,8 @@ package jogamp.graph.font; import java.io.File; import java.io.IOException; +import java.security.AccessController; +import java.security.PrivilegedAction; import javax.media.opengl.GLException; @@ -60,7 +62,16 @@ public class JavaFontLoader implements FontSet { final String javaFontPath; private JavaFontLoader() { - javaFontPath = System.getProperty("java.home") + "/lib/fonts/"; + final String javaHome = AccessController.doPrivileged(new PrivilegedAction<String>() { + public String run() { + return System.getProperty("java.home"); + } + }); + if(null != javaHome) { + javaFontPath = javaHome + "/lib/fonts/"; + } else { + javaFontPath = null; + } } // FIXME: Add cache size to limit memory usage @@ -87,7 +98,9 @@ public class JavaFontLoader implements FontSet { } else { font = abspath(availableFontFileNames[4], family, style); } - fontMap.put( ( family << 8 ) | style, font ); + if(null != font) { + fontMap.put( ( family << 8 ) | style, font ); + } return font; } @@ -123,6 +136,9 @@ public class JavaFontLoader implements FontSet { } Font abspath(String fname, int family, int style) { + if(null == javaFontPath) { + throw new GLException("java font path undefined"); + } final String err = "Problem loading font "+fname+", file "+javaFontPath+fname ; try { |