feat: new option 'openBrowserWhenReady'

server/server.gradle

@@ -109,6 +109,7 @@ tasks.register('runStandaloneWorker', BootRun) {
     classpath(project.sourceSets.main.runtimeClasspath)
     mainClass.convention(mainClassName)
 
+    args('--jifa.role=standalone-worker', '--jifa.open-browser-when-ready=true')
     setJvmOptions(it)
 }
 
@@ -117,6 +118,7 @@ tasks.register('runStandaloneWorkerWithMysql', BootRun) {
     classpath(project.sourceSets.main.runtimeClasspath)
     mainClass.convention(mainClassName)
 
+    args('--jifa.role=standalone-worker', '--jifa.open-browser-when-ready=true')
     setJvmOptions(it)
     setDatabase(it)
 }

server/src/main/java/org/eclipse/jifa/server/Configuration.java

@@ -142,6 +142,11 @@ public class Configuration {
      */
     private Path[] inputFiles;
 
+    /**
+     * Whether to open browser when server is ready
+     */
+    private boolean openBrowserWhenReady;
+
     @PostConstruct
     private void init() {
         if (role == Role.MASTER) {

server/src/main/java/org/eclipse/jifa/server/ReadyListener.java

@@ -68,7 +68,9 @@ public void fireReadyEvent() {
                 }
             }
 
-            openBrowser("http://localhost:" + config.getPort());
+            if (config.isOpenBrowserWhenReady()) {
+                openBrowser("http://localhost:" + config.getPort());
+            }
         }
     }