Method write

tool/FlashRAG/webui/utils.py:57–61

(self, message)

        self.original_stream = original_stream

    def write(self, message):
        self.original_stream.write(message)
        self.original_stream.flush()
        if message.strip():  
            self.queue.put(message)

    def flush(self):
        self.original_stream.flush()