Bulletproofed so that this can run in the presence of a security manager.

This commit is contained in:
dchandler 2002-10-19 02:27:14 +00:00
parent ef4ce16a0f
commit 44524d3c89

View file

@ -593,7 +593,12 @@ public String getMediaPlayerProperty() {
//if already set, return current media player //if already set, return current media player
if (thdl_mediaplayer_property == null) { if (thdl_mediaplayer_property == null) {
//else get default based on system, user prefs, etc. //else get default based on system, user prefs, etc.
String os = System.getProperty("os.name").toLowerCase(); String os;
try {
os = System.getProperty("os.name").toLowerCase();
} catch (SecurityException e) {
os = "unknown";
}
if (os.indexOf("mac") != -1) //macs default to qt4j if (os.indexOf("mac") != -1) //macs default to qt4j
thdl_mediaplayer_property = ThdlOptions.getStringOption("thdl.media.player", "qt4j"); thdl_mediaplayer_property = ThdlOptions.getStringOption("thdl.media.player", "qt4j");
else if (os.indexOf("windows") != -1) else if (os.indexOf("windows") != -1)