Merge remote-tracking branch 'origin/master'

2026-09-27 10:03:11 +07:00 · 2017-06-28 18:19:59 +03:00
parent b16fafc5e3 db3924e58d
commit e8a2fb0edc
1 changed files with 1 additions and 1 deletions
@@ -62,7 +62,7 @@ public class AppMainV2 {
            try {
              while (true) {
                String msg = reader.readLine();
-                if ("TERM".equals(msg)) {
+                if (msg == null || "TERM".equals(msg)) {
                  return;
                }
                else if ("BREAK".equals(msg)) {