fix non final issue

Gumtree · Sep 3, 2024 · 423c15f · 423c15f
1 parent 59d5581
commit 423c15f
Showing 1 changed file with 4 additions and 3 deletions.
diff --git a/framework/sics/org.gumtree.control.core/src/org/gumtree/control/batch/BatchControl.java b/framework/sics/org.gumtree.control.core/src/org/gumtree/control/batch/BatchControl.java
@@ -83,7 +83,7 @@ public void receiveFinish(ISicsReplyData data) {
 						}
 					} catch (Exception e) {
 						e.printStackTrace();
-						logger.error("failed to set batch status: " + e.getMessage());
+						BatchControl.logger.error("failed to set batch status: " + e.getMessage());
 					}
 				}
 			});
@@ -212,7 +212,7 @@ public void fireBatchEvent(String type, String value) {
 				listener.scriptChanged(value);
 			}
 		} else if (type.equals(PropertyConstants.PROP_BATCH_RANGE)) {
-			System.err.println("range=" + value);
+			System.err.println("fire event range=" + value);
 			for (IBatchListener listener : batchListeners) {
 				listener.lineExecuted(Integer.valueOf(value));;
 			}
@@ -248,7 +248,7 @@ public String getBatchName() {
 		return batchName;
 	}
 
-	private void setBatchName(String batchName) {
+	private void setBatchName(final String batchName) {
 		this.batchId = String.valueOf(System.currentTimeMillis());
 		this.batchName = batchName;
 		try {
@@ -353,5 +353,6 @@ public String getBatchRangeText() {
 	 */
 	private void setBatchRangeText(String batchRangeText) {
 		this.batchRangeText = batchRangeText;
+
 	}
 }