Leave note that Azul VM supports JFR out-of-the-box.

[Documentation][Toolbox]
tlaplus · Dec 1, 2019 · e25ead4 · e25ead4
1 parent 4a8c167
commit e25ead4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/...amport.tla.toolbox.jclouds/src/org/lamport/tla/toolbox/jcloud/CloudDistributedTLCJob.java b/...amport.tla.toolbox.jclouds/src/org/lamport/tla/toolbox/jcloud/CloudDistributedTLCJob.java
@@ -110,6 +110,7 @@ public class CloudDistributedTLCJob extends Job {
 	private final Properties props;
 	private final CloudTLCInstanceParameters params;
 	private boolean isCLI = false;
+	// Azul VM comes with JFR support. This can thus be safely activated.
 	private boolean doJfr = false;
 
 	public CloudDistributedTLCJob(String aName, File aModelFolder,