server/red_channel: add red_channel_receive (for red_worker)

1 files changed, 8 insertions, 0 deletions

diff --git a/server/red_channel.h b/server/red_channel.h
index 5a05b82a..68de0841 100644
--- a/server/red_channel.h
+++ b/server/red_channel.h
@@ -234,5 +234,13 @@ void red_channel_push(RedChannel *channel);
 // current red_channel_shutdown also closes the socket - is there a socket to close?
 // are we reading from an fd here? arghh
 void red_channel_pipe_clear(RedChannel *channel);
+// Again, used in various places outside of event handler context (or in other event handler
+// contexts):
+//  flush_display_commands/flush_cursor_commands
+//  display_channel_wait_for_init
+//  red_wait_outgoing_item
+//  red_wait_pipe_item_sent
+//  handle_channel_events - this is the only one that was used before, and was in red_channel.c
+void red_channel_receive(RedChannel *channel);
 
 #endif