Merge branch 'protegeproject:master' into patch-2

protegeproject · Feb 25, 2025 · 8ea448d · 8ea448d
2 parents 63af3d6 + f6d053a
commit 8ea448d
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/protege-editor-core/src/main/java/org/protege/editor/core/ui/util/NativeBrowserLauncher.java b/protege-editor-core/src/main/java/org/protege/editor/core/ui/util/NativeBrowserLauncher.java
@@ -25,16 +25,16 @@ public class NativeBrowserLauncher {
     public static void openURL(String url) {
         try {
             if (OSUtils.isOSX()) {
-                Class fileMgr = Class.forName("com.apple.eio.FileManager");
+                Class<?> fileMgr = Class.forName("com.apple.eio.FileManager");
                 Method openURL = fileMgr.getDeclaredMethod("openURL", String.class);
                 openURL.invoke(null, url);
             }
             else if (OSUtils.isWindows()){
-                Runtime.getRuntime().exec("rundll32 url.dll,FileProtocolHandler " + url);
+                Runtime.getRuntime().exec(new String[] {"rundll32", "url.dll,FileProtocolHandler", url});
             }
             else { //assume Unix or Linux
                 String[] browsers = {
-                        "firefox", "opera", "konqueror", "epiphany", "mozilla", "netscape" };
+                        "xdg-open", "firefox", "opera", "konqueror", "epiphany", "mozilla", "netscape" };
                 String browser = null;
                 for (int count = 0; count < browsers.length && browser == null; count++)
                     if (Runtime.getRuntime().exec(