Disable RTM flag push (#91)

sarchlab · Oct 6, 2024 · 1596eea · 1596eea
1 parent 4be03e2
commit 1596eea
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/samples/runner/flag.go b/samples/runner/flag.go
@@ -45,6 +45,7 @@ var customPortForAkitaRTM = flag.Int("akitartm-port", 0,
 	`Custom port to host AkitaRTM. A 4-digit or 5-digit port number is required. If 
 this number is not given or a invalid number is given number, a random port 
 will be used.`)
+var disableAkitaRTM = flag.Bool("disable-rtm", false, "Disable the AkitaRTM monitoring portal")
 
 var analyszerNameFlag = flag.String("analyzer-name", "",
 	"The name of the analyzer to use.")

diff --git a/samples/runner/runner.go b/samples/runner/runner.go
@@ -143,7 +143,9 @@ func (r *Runner) buildTimingPlatform() {
 
 	r.platform = b.Build()
 
-	r.monitor.StartServer()
+	if !*disableAkitaRTM {
+		r.monitor.StartServer()
+	}
 }
 
 func (*Runner) setAnalyszer(