From 11e51e2608821a4902cf900f82a0d53db68b1142 Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Fri, 5 Jul 2024 15:41:12 +0200
Subject: [PATCH] Remove a few log messages during probcli startup
---
de.prob.core/src/de/prob/cli/CliStarter.java | 2 --
1 file changed, 2 deletions(-)
diff --git a/de.prob.core/src/de/prob/cli/CliStarter.java b/de.prob.core/src/de/prob/cli/CliStarter.java
index 905148c1..5861c40a 100644
--- a/de.prob.core/src/de/prob/cli/CliStarter.java
+++ b/de.prob.core/src/de/prob/cli/CliStarter.java
@@ -206,7 +206,6 @@ public final class CliStarter {
Matcher portMatcher = CLI_PORT_PATTERN.matcher(line);
if (portMatcher.matches()) {
portTemp = Integer.parseInt(portMatcher.group(1));
- Logger.info("Received port number from CLI: " + portTemp);
}
Matcher userInterruptReferenceMatcher = CLI_USER_INTERRUPT_REFERENCE_PATTERN.matcher(line);
@@ -217,7 +216,6 @@ public final class CliStarter {
Logger.info("This ProB build has user interrupt support disabled. Interrupting ProB may not work as expected.");
} else {
userInterruptReferenceTemp = Long.parseLong(userInterruptReferenceString);
- Logger.info("Received user interrupt reference from CLI: " + userInterruptReferenceTemp);
}
}
--
GitLab