diff --git a/client/client_types.C b/client/client_types.C index ccda9f404f..e960eb39a7 100644 --- a/client/client_types.C +++ b/client/client_types.C @@ -739,6 +739,8 @@ int RESULT::parse_state(FILE* in) { } else if (parse_double(buf, "", final_cpu_time)) continue; else if (parse_int(buf, "", exit_status)) continue; + else if (match_tag(buf, "")) server_ack = true; + else if (match_tag(buf, "")) ready_to_ack = true; else if (parse_int(buf, "", state)) continue; else if (match_tag(buf, "")) { while (fgets(buf, 256, in)) { @@ -779,6 +781,8 @@ int RESULT::write(FILE* out, bool to_server) { ); } if (!to_server) { + if (server_ack) fprintf(out, " \n"); + if (ready_to_ack) fprintf(out, " \n"); fprintf(out, " %s\n" " %d\n",