Better code reload

This commit is contained in:
2026-05-27 14:50:34 -04:00
parent d737879ed6
commit 779c9f5c2e
9 changed files with 31 additions and 64 deletions

View File

@@ -284,7 +284,7 @@ public:
// Rebuild the global environment from the source database.
//
// Error messages go to the specified actor.
// Error messages go to the specified actor, and also dprint.
//
// Returns true if the rebuild goes without errors.
//
@@ -292,7 +292,7 @@ public:
// Update the source database from disk, then rebuild the global environment.
//
// Error messages go to the specified actor.
// Error messages go to the specified actor, and also dprint.
//
// Returns true if the update goes without errors.
//
@@ -378,9 +378,7 @@ public:
// Send the lthread_prints output to the specified actor.
//
// If actor_id == (-1) prints are discarded.
// If actor_id == (0) prints go to dprint.
// Anything else, and the prints go to a specific actor.
// Send prints to the specified actor's printbuffer.
//
void lthread_prints_to_actor(int64_t actor_id);