Using CHANNEL_PRINTS to transfer printbuffers to stdout is now working.

This commit is contained in:
2025-12-15 23:35:47 -05:00
parent 9dc974ebca
commit 1b7f917cdf
8 changed files with 52 additions and 17 deletions

View File

@@ -276,6 +276,7 @@ public:
if (print_channeler_.channel(world_->get_printbuffer(actor_id_), retpk)) {
send_invocation(print_channeler_.invocation(actor_id_));
}
set_have_prints(false);
break;
}
default: {
@@ -313,6 +314,8 @@ public:
world_to_asynchronous();
}
}
set_have_prints(print_channeler_.have_prints(world_->get_printbuffer(actor_id_)));
}
};