Address review comments.

meisterT · meisterT · commit 93f05c3d77c3 · 2024-04-07T17:28:57.000Z
diff --git a/judge/runpipe.cc b/judge/runpipe.cc
@@ -919,10 +919,11 @@ struct state_t {
                 if (errno != EAGAIN && errno != EWOULDBLOCK) {
                     error(errno, "failed to read from tle pipe");
                 }
+            } else if (buffer[0] == 42) {
+                logmsg(LOG_WARNING, "child indicated TLE");
+                child_indicated_timelimit = true;
+                continue;
             }
-            logmsg(LOG_WARNING, "child indicated TLE");
-            child_indicated_timelimit = true;
-            continue;
         }
 
 

Original file line number	Diff line number	Diff line change
`@@ -919,10 +919,11 @@ struct state_t {`
`919`	`919`	`if (errno != EAGAIN && errno != EWOULDBLOCK) {`
`920`	`920`	`error(errno, "failed to read from tle pipe");`
`921`	`921`	`}`
	`922`	`+ } else if (buffer[0] == 42) {`
	`923`	`+ logmsg(LOG_WARNING, "child indicated TLE");`
	`924`	`+ child_indicated_timelimit = true;`
	`925`	`+ continue;`
`922`	`926`	`}`
`923`		`- logmsg(LOG_WARNING, "child indicated TLE");`
`924`		`- child_indicated_timelimit = true;`
`925`		`- continue;`
`926`	`927`	`}`
`927`	`928`
`928`	`929`