else if (os_name.startsWith("Linux")) platform_class = "Linux";
else if (os_name.startsWith("SunOS")) platform_class = "Solaris";
else if (os_name.startsWith("Solaris")) platform_class = "Solaris";
+ else if (os_name.startsWith("Darwin")) platform_class = "Darwin";
else platform_class = "X11";
}
else if (!version.startsWith("1.0") && !version.startsWith("1.1")) platform_class = "Java2";
return;
}
// check the URL for well-formedness, as a defense against buffer overflow attacks
+ // FIXME check URL without using URL class
+ /*
try {
String u = url;
if (u.startsWith("https")) u = "http" + u.substring(5);
Log.info(Platform.class, "URL " + url + " is not well-formed");
Log.info(Platform.class, e);
}
+ */
Log.info(Platform.class, "newBrowserWindow, url = " + url);
platform._newBrowserWindow(url);
}