From c8bd6d1ffe73628850a3cfa0e16eb7178cad1aa1 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@uni-duesseldorf.de>
Date: Thu, 27 Aug 2020 11:42:24 +0200
Subject: [PATCH] add comment
---
de.prob.core/src/de/prob/cli/CliStarter.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/de.prob.core/src/de/prob/cli/CliStarter.java b/de.prob.core/src/de/prob/cli/CliStarter.java
index 69da3338..3e1dcb21 100644
--- a/de.prob.core/src/de/prob/cli/CliStarter.java
+++ b/de.prob.core/src/de/prob/cli/CliStarter.java
@@ -215,7 +215,7 @@ public final class CliStarter {
while (!endReached && (line = input.readLine()) != null) { // NOPMD
applyPatterns(patterns, line);
endReached = patterns.isEmpty()
- || line.contains("starting command loop");
+ || line.contains("starting command loop"); // printed in prob_socketserver.pl
}
} catch (IOException e) {
final String message = "Problem while starting ProB. Cannot read from input stream.";
--
GitLab